+// T30798: $wgServer must be explicitly set
+if ( $wgServer === false ) {
+ throw new FatalError(
+ '$wgServer must be set in LocalSettings.php. ' .
+ 'See <a href="https://www.mediawiki.org/wiki/Manual:$wgServer">' .
+ 'https://www.mediawiki.org/wiki/Manual:$wgServer</a>.'
+ );
+}
+