Merge "SpecialRecentchanges.php: Use ResourceLoader::makeMessageSetScript"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 3 Apr 2017 07:34:33 +0000 (07:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 3 Apr 2017 07:34:33 +0000 (07:34 +0000)
commit2a933aace70bf18053c23f87290bc3fd45e73683
treec479a5921a64789257fec2841ab696e6b904d7ce
parent71084989eaf383b166ffdf3b9f9fb97782efa724
parentd6a9dafa4152e80c13493708a0591de6b1397ccf
Merge "SpecialRecentchanges.php: Use ResourceLoader::makeMessageSetScript"