Nov 24 16:39:04 deployment-mediawiki01 hhvm: #012Notice: Undefined index: 1 in /srv/mediawiki/wmf-config/CommonSettings.php on line 2913
Nov 24 16:39:04 deployment-mediawiki01 hhvm: #012Notice: Undefined index: 2 in /srv/mediawiki/wmf-config/CommonSettings.php on line 2913
// On Special:Version, link to useful release notes
$wgHooks['SpecialVersionVersionUrl'][] = function( $wgVersion, &$versionUrl ) {
$matches = array();
preg_match( "/(\d+\.\d+)wmf(\d+)/", $wgVersion, $matches );
$versionUrl = "https://www.mediawiki.org/wiki/MediaWiki_{$matches[1]}/wmf{$matches[2]}";
return false;
};