https://www.mediawiki.org/wiki/Category:GetLocalURL::Article_extensions
Category:GetLocalURL::Article extensions - MediaWiki
categoryarticleextensionsmediawiki
https://doc.wikimedia.org/mediawiki-core/master/php/interfaceMediaWiki_1_1Hook_1_1GetLocalURL____InternalHook.html
MediaWiki: MediaWiki\Hook\GetLocalURL__InternalHook Interface Reference
mediawikihookinterfacereference