From: jenkins-bot Date: Wed, 30 May 2018 14:42:18 +0000 (+0000) Subject: Merge "resourceloader: Remove use of $.params in mediawiki.js" X-Git-Tag: 1.34.0-rc.0~5253 X-Git-Url: http://git.heureux-cyclage.org/?a=commitdiff_plain;h=133332191dbca6e601531bd75a4fdcd6176e02b3;p=lhc%2Fweb%2Fwiklou.git Merge "resourceloader: Remove use of $.params in mediawiki.js" --- 133332191dbca6e601531bd75a4fdcd6176e02b3