diff options
Diffstat (limited to 'includes/GlobalFunctions.php')
| -rw-r--r-- | includes/GlobalFunctions.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php index cdeb27db185a..b22cae8b8928 100644 --- a/includes/GlobalFunctions.php +++ b/includes/GlobalFunctions.php @@ -24,6 +24,7 @@ use MediaWiki\HookContainer\HookRunner; use MediaWiki\Logger\LoggerFactory; use MediaWiki\MediaWikiServices; use MediaWiki\ProcOpenError; +use MediaWiki\Request\WebRequest; use MediaWiki\ResourceLoader\ResourceLoader; use MediaWiki\Shell\Shell; use MediaWiki\StubObject\StubUserLang; @@ -466,6 +467,8 @@ function wfGetUrlUtils(): UrlUtils { global $wgServer, $wgCanonicalServer, $wgInternalServer, $wgRequest, $wgHttpsPort, $wgUrlProtocols; + '@phan-var \MediaWiki\Request\WebRequest $wgRequest'; + if ( MediaWikiServices::hasInstance() ) { $services = MediaWikiServices::getInstance(); if ( $services->hasService( 'UrlUtils' ) ) { |