Merge "resources: Move the remaining src/mediawiki/ files"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 May 2018 23:45:02 +0000 (23:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 May 2018 23:45:02 +0000 (23:45 +0000)
commit2d46c9e574c559281439a924441683776ca2f2e0
treeb9180edc60cec51b1623d2b21b09cfe55798742b
parentaae58f60d5eb713c0e888b56f258658bc059486e
parent16c8d893575ba006993220cca9834f5b0ec92a66
Merge "resources: Move the remaining src/mediawiki/ files"