[BUGFIX] PHP warning in ext:documentation