Index: branches/wmf/1.17wmf1/includes/MessageCache.php |
— | — | @@ -504,6 +504,11 @@ |
505 | 505 | function get( $key, $useDB = true, $langcode = true, $isFullKey = false ) { |
506 | 506 | global $wgLanguageCode, $wgContLang; |
507 | 507 | |
| 508 | + if ( is_int( $key ) ) { |
| 509 | + // "Non-string key given" exception sometimes happens for numerical strings that become ints somewhere on their way here |
| 510 | + $key = strval( $key ); |
| 511 | + } |
| 512 | + |
508 | 513 | if ( !is_string( $key ) ) { |
509 | 514 | throw new MWException( "Non-string key given" ); |
510 | 515 | } |