Merge "Set the package type to 'mediawiki-core'"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 10 May 2018 16:48:11 +0000 (16:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 10 May 2018 16:48:11 +0000 (16:48 +0000)
commit8eb6cf585c5fb3d7dd5f014bac27518959512b98
tree782df8e10a1e014e5ba913ed58e10f8cdd198af0
parent589fa9248d991e5999dbdc18c22ff891bb73e87d
parentc60080b9f2217aef1c545208bf6af92f3378445c
Merge "Set the package type to 'mediawiki-core'"
composer.json