build: Bump mediawiki-phan-config to 0.8.0

[lhc/web/wiklou.git] / includes / Setup.php

diff --git a/includes/Setup.php b/includes/Setup.php
index 6b80ae6..6670f45 100644 (file)
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -391,7 +391,6 @@ $wgSkipSkins[] = 'apioutput';
 if ( $wgLocalInterwiki ) {
        // Hard deprecated in 1.34.
        wfDeprecated( '$wgLocalInterwiki – use $wgLocalInterwikis instead', '1.23' );
-       // @phan-suppress-next-line PhanUndeclaredVariableDim
        array_unshift( $wgLocalInterwikis, $wgLocalInterwiki );
 }
 
@@ -442,6 +441,7 @@ if ( $wgEnableEmail ) {
 
 // $wgSysopEmailBans deprecated in 1.34
 if ( isset( $wgSysopEmailBans ) && $wgSysopEmailBans === false ) {
+       wfDeprecated( 'wgSysopEmailBans', '1.34' );
        foreach ( $wgGroupPermissions as $group => $_ ) {
                unset( $wgGroupPermissions[$group]['blockemail'] );
        }