Merge "resourceloader: Remove AJAX call from addScript() in mediawiki.js"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 May 2018 16:50:55 +0000 (16:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 May 2018 16:50:55 +0000 (16:50 +0000)
commit437d44db61bc22260d0c8a4be67a7e267b2fb5b8
treee4423d83306cabc58864843693743c42926ba381
parent16a4d9da7bb810e04ee3e7f3d7f4b0b485a27019
parent42956b99b558294e5aa8c6c0e2a8f18513478022
Merge "resourceloader: Remove AJAX call from addScript() in mediawiki.js"