diff options
Diffstat (limited to 'languages/LanguageEs.php')
| -rw-r--r-- | languages/LanguageEs.php | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/languages/LanguageEs.php b/languages/LanguageEs.php index d72616fad704..0efc4b2baa71 100644 --- a/languages/LanguageEs.php +++ b/languages/LanguageEs.php @@ -1143,16 +1143,6 @@ class LanguageEs extends LanguageUtf8 { return $wgNamespaceNamesEs; } - - function getNsIndex( $text ) { - global $wgNamespaceNamesEs; - - foreach ( $wgNamespaceNamesEs as $i => $n ) { - if ( 0 == strcasecmp( $n, $text ) ) { return $i; } - } - return false; - } - function getQuickbarSettings() { global $wgQuickbarSettingsEs; return $wgQuickbarSettingsEs; |