HomePhabricator

Remove mention of ExtensionFunctions.php, since it doesn't seem to be used…