From: jenkins-bot Date: Fri, 20 Feb 2015 13:40:33 +0000 (+0000) Subject: Merge "mediawiki.special.preferences.js: Simplify creating elements" X-Git-Tag: 1.31.0-rc.0~12334 X-Git-Url: http://git.cyclocoop.org/%24action?a=commitdiff_plain;h=99595e6d4a12a7c362ff50da565ca29514adc35f;p=lhc%2Fweb%2Fwiklou.git Merge "mediawiki.special.preferences.js: Simplify creating elements" --- 99595e6d4a12a7c362ff50da565ca29514adc35f