diff options
Diffstat (limited to 'includes/exception/MWExceptionHandler.php')
| -rw-r--r-- | includes/exception/MWExceptionHandler.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/includes/exception/MWExceptionHandler.php b/includes/exception/MWExceptionHandler.php index 9f8c4f6fc5ee..569657603fe2 100644 --- a/includes/exception/MWExceptionHandler.php +++ b/includes/exception/MWExceptionHandler.php @@ -22,6 +22,7 @@ use MediaWiki\HookContainer\HookRunner; use MediaWiki\Logger\LoggerFactory; use MediaWiki\MediaWikiServices; use MediaWiki\Request\FauxRequest; +use MediaWiki\Request\WebRequest; use Psr\Log\LogLevel; use Wikimedia\NormalizedException\INormalizedException; use Wikimedia\Rdbms\DBError; @@ -510,6 +511,8 @@ TXT; */ public static function getURL() { global $wgRequest; + '@phan-var \MediaWiki\Request\WebRequest $wgRequest'; + if ( !isset( $wgRequest ) || $wgRequest instanceof FauxRequest ) { return false; } |