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: https://git.cyclocoop.org/%7B%24admin_url%7Dmembres/cotisations/rappels.php?a=commitdiff_plain;h=0d92e1088ea90cd893c0998657be5379a9672fa2;p=lhc%2Fweb%2Fwiklou.git Merge "HtmlForm: Use mw-ui-checkbox only if wgUseMediaWikiUIEverywhere is enabled" --- 0d92e1088ea90cd893c0998657be5379a9672fa2