Fix up r62154: don't throw a JS error when $j is undefined, and bump $wgStyleVersion
authorRoan Kattouw <catrope@users.mediawiki.org>
Tue, 9 Feb 2010 16:58:53 +0000 (16:58 +0000)
committerRoan Kattouw <catrope@users.mediawiki.org>
Tue, 9 Feb 2010 16:58:53 +0000 (16:58 +0000)
commit314dc49af8e067bba50c81e595e8c56812d262fa
tree473d46fb515a265052613ff4dde81adfae57dc75
parent2d5e0df9e688854f0e17195282acfeacfefd692c
Fix up r62154: don't throw a JS error when $j is undefined, and bump $wgStyleVersion
includes/DefaultSettings.php
skins/common/edit.js