Core: engine/extension.php phpdoc changes