Merge "mediawiki.special.preferences.js: Simplify creating elements"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 20 Feb 2015 13:40:33 +0000 (13:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Feb 2015 13:40:33 +0000 (13:40 +0000)
commit99595e6d4a12a7c362ff50da565ca29514adc35f
tree849ae12c1081b9af8a500af75a46823130c05950
parent2664ccdc434bb68e308f731fba587106e4cf1e73
parentf506f8850b41a6e1d8b360a7c31eed5a9d1abef0
Merge "mediawiki.special.preferences.js: Simplify creating elements"