From: jenkins-bot Date: Wed, 11 Mar 2015 18:36:49 +0000 (+0000) Subject: Merge "mediawiki.js: clean-ups" X-Git-Tag: 1.31.0-rc.0~12133 X-Git-Url: https://git.cyclocoop.org/%242?a=commitdiff_plain;h=cc4f2e6d4451d5d4a667b9c8e6fcd0ad5c1bebf0;p=lhc%2Fweb%2Fwiklou.git Merge "mediawiki.js: clean-ups" --- cc4f2e6d4451d5d4a667b9c8e6fcd0ad5c1bebf0