Merge "resources: Remove the deprecated 'jquery.badge' module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 1 Nov 2017 00:13:50 +0000 (00:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 1 Nov 2017 00:13:50 +0000 (00:13 +0000)
commitdb7d59355e4c8b70fc0a510f9bfde93134d6991c
tree2a21f0d1c388ff350f3efb6c9285a063b40d82f0
parent8e27780cfdb7209e22a2c8a05b4ca4774d8fdfa6
parentcaaae4e6db3b63985049a172060d5f9cbbe9afae
Merge "resources: Remove the deprecated 'jquery.badge' module"
RELEASE-NOTES-1.31
resources/Resources.php