Merge "resourceloader: Remove use of $.params in mediawiki.js"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 30 May 2018 14:42:18 +0000 (14:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 30 May 2018 14:42:18 +0000 (14:42 +0000)
commit133332191dbca6e601531bd75a4fdcd6176e02b3
tree12373700363b4ea283dae53095dc252c910bb0e1
parent7755a21ef3ab84ef424b859403436a4cef6fb9d4
parentf0d74cc23a22e3c083b303eed71bd94e1c5f24b5
Merge "resourceloader: Remove use of $.params in mediawiki.js"