diff options
Diffstat (limited to 'includes/libs/rdbms/ServerInfo.php')
| -rw-r--r-- | includes/libs/rdbms/ServerInfo.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/libs/rdbms/ServerInfo.php b/includes/libs/rdbms/ServerInfo.php index 2b68567db7a9..5de1d6c189dc 100644 --- a/includes/libs/rdbms/ServerInfo.php +++ b/includes/libs/rdbms/ServerInfo.php @@ -136,7 +136,7 @@ class ServerInfo { return $newIndexByServerIndex; } - public function normalizeServerMaps( array $servers, array &$indexBySrvName = null ) { + public function normalizeServerMaps( array $servers, ?array &$indexBySrvName = null ) { if ( !$servers ) { throw new InvalidArgumentException( 'Missing or empty "servers" parameter' ); } |