Merge "Remove deprecated jquery.mwExtension module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 18 Aug 2017 19:43:52 +0000 (19:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 18 Aug 2017 19:43:52 +0000 (19:43 +0000)
commit89b2052ed1a2ec62cd634717e00a2f2d6dd3946c
treeba83d2ac9d08699f24c96522a7b7c9895249a4d7
parent307e4b5728991d9782d7780298f2df7cd6845934
parent3863dd231f2fdda95c28193a05e550167f023b5f
Merge "Remove deprecated jquery.mwExtension module"