diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 09:20:55 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 09:20:55 +0100 |
| commit | a22fbfc60f36f5f7ee10d5ae6fe347340c2ee67c (patch) | |
| tree | 31882fdc36540fecfd62e5011fc38515e504a3db /resources/mediawiki | |
| parent | 6ca0c5e0a943b64b4e3d0a11a80c5679f7252e64 (diff) | |
Update to MediaWiki 1.17.1
Diffstat (limited to 'resources/mediawiki')
| -rw-r--r-- | resources/mediawiki/mediawiki.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/mediawiki/mediawiki.js b/resources/mediawiki/mediawiki.js index 6518479a..03f92844 100644 --- a/resources/mediawiki/mediawiki.js +++ b/resources/mediawiki/mediawiki.js @@ -134,7 +134,7 @@ window.mediaWiki = new ( function( $ ) { * @return boolean Existence of key(s) */ Map.prototype.exists = function( selection ) { - if ( typeof keys === 'object' ) { + if ( typeof selection === 'object' ) { for ( var s = 0; s < selection.length; s++ ) { if ( !( selection[s] in this.values ) ) { return false; |