It seems to me that there is currently no way to prepend a link to those listed in extension.json (e.g. a link "top" linking to some root URL of an intranet which contains the MediaWiki) using LocalSettings.php only, without patching extension.json. I'm planning to add a feature to allow that. Anybody else who needs this or has an idea how to realize it?
