diff options
Diffstat (limited to 'includes/Setup.php')
| -rw-r--r-- | includes/Setup.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/includes/Setup.php b/includes/Setup.php index 974a24a9d004..baefb47973b9 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -426,6 +426,8 @@ if ( $wgRequest->getCookie( 'UseDC', '' ) === 'master' ) { // Useful debug output ( static function () { global $wgCommandLineMode, $wgRequest; + '@phan-var \MediaWiki\Request\WebRequest $wgRequest'; + $logger = LoggerFactory::getInstance( 'wfDebug' ); if ( $wgCommandLineMode ) { $self = $_SERVER['PHP_SELF'] ?? ''; |