dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07e32d6) | patch
Restructure tab code of mediawiki.special.preferences.js . * 10 levels of indent...
authorLeo Koppelkamm <diebuche@users.mediawiki.org>
Thu, 14 Jul 2011 12:49:39 +0000 (12:49 +0000)
committerLeo Koppelkamm <diebuche@users.mediawiki.org>
Thu, 14 Jul 2011 12:49:39 +0000 (12:49 +0000)
commit0cfb2628dae68e8add4a2e0377747995df706971
tree303b0ee2838fad5f0052145859bc6fca5fbeeb0ctree | snapshot
parent07e32d6fd359eae16f15cc3d21aeecf3cef75e6ecommit | diff
Restructure tab code of mediawiki.special.preferences.js . * 10 levels of indent, really? * Follow up r91869: Instead of setting the title, and later parsing it out and setting id from it, just set the id directly. * Hashes are now in the form #prefsection-personal. This means that they now work in browser with deactivated JS as well.
includes/HTMLForm.php diff | blob | history
resources/mediawiki.special/mediawiki.special.preferences.js diff | blob | history
Wiklou, le Wiki du Wiklou