Core: engine/extensions.php phpdoc changes