Merge "Fix mergeMessageFileList.php --extensions-dir extensions:skins"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Nov 2017 18:53:03 +0000 (18:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Nov 2017 18:53:03 +0000 (18:53 +0000)
commitd9e7700b042121c7b159b475ff52d81a4fe8d77c
tree50366e9793eeb3de241b99fff9b2c233acf409c4
parent0773e0b86b7ff7fe45f09d806d7b946a41638c3b
parent96effdf8f350e2dc928b9fcf931538235217b42f
Merge "Fix mergeMessageFileList.php --extensions-dir extensions:skins"