mediawiki.special.preferences.js: Simplify creating elements
authorFomafix <fomafix@googlemail.com>
Fri, 20 Feb 2015 12:19:16 +0000 (12:19 +0000)
committer[[mw:User:Fomafix]] <gerritpatchuploader@gmail.com>
Fri, 20 Feb 2015 12:19:16 +0000 (12:19 +0000)
commitf506f8850b41a6e1d8b360a7c31eed5a9d1abef0
tree0398c2d6bc01ec15532f075299516f0c57e0676b
parent5f9671b66e542ce835e1ef7876cadf4c2aedb919
mediawiki.special.preferences.js: Simplify creating elements

See:
https://www.mediawiki.org/wiki/Manual:Coding_conventions/JavaScript#Creating_elements

Change-Id: Ied43829eb19a4270030af4d3f41882f6c0df7935
resources/src/mediawiki.special/mediawiki.special.preferences.js