From: jenkins-bot Date: Wed, 24 Sep 2014 18:15:21 +0000 (+0000) Subject: Merge "HtmlForm: Use mw-ui-checkbox only if wgUseMediaWikiUIEverywhere is enabled" X-Git-Tag: 1.31.0-rc.0~13839 X-Git-Url: http://git.cyclocoop.org/%22%2C%20generer_url_ecrire%28?a=commitdiff_plain;h=0d92e1088ea90cd893c0998657be5379a9672fa2;p=lhc%2Fweb%2Fwiklou.git Merge "HtmlForm: Use mw-ui-checkbox only if wgUseMediaWikiUIEverywhere is enabled" --- 0d92e1088ea90cd893c0998657be5379a9672fa2