Nov 24 16:39:05 deployment-mediawiki01 hhvm: #012Notice: Undefined index: name in /srv/mediawiki/php-master/includes/specials/SpecialVersion.php on line 606
Nov 24 16:39:05 deployment-mediawiki01 hhvm: #012Notice: Undefined index: name in /srv/mediawiki/php-master/includes/specials/SpecialVersion.php on line 609
Apparently some $wgExtensionCredits items do not have a name attribute for sorting.
The failures are from:
public function compare( $a, $b ) { if ( $a['name'] === $b['name'] ) { return 0; } else { return $this->getLanguage()->lc( $a['name'] ) > $this->getLanguage()->lc( $b['name'] ) ? 1 : -1; } }