| Index: trunk/phase3/includes/MessageCache.php |
| — | — | @@ -499,6 +499,10 @@ |
| 500 | 500 | function get( $key, $useDB = true, $langcode = true, $isFullKey = false ) { |
| 501 | 501 | global $wgContLanguageCode, $wgContLang; |
| 502 | 502 | |
| | 503 | + if ( !is_string( $key ) ) { |
| | 504 | + throw new MWException( "Non-string key given" ); |
| | 505 | + } |
| | 506 | + |
| 503 | 507 | if ( strval( $key ) === '' ) { |
| 504 | 508 | # Shortcut: the empty key is always missing |
| 505 | 509 | return false; |