Configurator: phpdoc fix