[MediaWiki-commits] [Gerrit] mediawiki...Equivset[master]: Move phpunit.xml to phpunit.xml.dist
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/385822 ) Change subject: Move phpunit.xml to phpunit.xml.dist .. Move phpunit.xml to phpunit.xml.dist To match other libraries and .gitattributes Change-Id: Ie4d216bcc51a642b4dab6b3d686214509ff1d337 --- R phpunit.xml.dist 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: jenkins-bot: Verified Dbarratt: Looks good to me, approved diff --git a/phpunit.xml b/phpunit.xml.dist similarity index 100% rename from phpunit.xml rename to phpunit.xml.dist -- To view, visit https://gerrit.wikimedia.org/r/385822 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie4d216bcc51a642b4dab6b3d686214509ff1d337 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/libs/Equivset Gerrit-Branch: master Gerrit-Owner: LegoktmGerrit-Reviewer: Dbarratt Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...Equivset[master]: Move phpunit.xml to phpunit.xml.dist
Legoktm has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/385822 ) Change subject: Move phpunit.xml to phpunit.xml.dist .. Move phpunit.xml to phpunit.xml.dist To match other libraries and .gitattributes Change-Id: Ie4d216bcc51a642b4dab6b3d686214509ff1d337 --- R phpunit.xml.dist 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/libs/Equivset refs/changes/22/385822/1 diff --git a/phpunit.xml b/phpunit.xml.dist similarity index 100% rename from phpunit.xml rename to phpunit.xml.dist -- To view, visit https://gerrit.wikimedia.org/r/385822 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ie4d216bcc51a642b4dab6b3d686214509ff1d337 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/libs/Equivset Gerrit-Branch: master Gerrit-Owner: Legoktm___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits