Jeroen De Dauw has submitted this change and it was merged. Change subject: Added @covers tags for ThrowingPatcher ......................................................................
Added @covers tags for ThrowingPatcher Change-Id: I07d509e84e246c68cdec1818a98bca244ce25a5c --- M tests/phpunit/patcher/ListPatcherTest.php M tests/phpunit/patcher/MapPatcherTest.php 2 files changed, 2 insertions(+), 0 deletions(-) Approvals: Jeroen De Dauw: Looks good to me, approved diff --git a/tests/phpunit/patcher/ListPatcherTest.php b/tests/phpunit/patcher/ListPatcherTest.php index 8234c01..65171cb 100644 --- a/tests/phpunit/patcher/ListPatcherTest.php +++ b/tests/phpunit/patcher/ListPatcherTest.php @@ -11,6 +11,7 @@ /** * @covers Diff\ListPatcher + * @covers Diff\ThrowingPatcher * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/tests/phpunit/patcher/MapPatcherTest.php b/tests/phpunit/patcher/MapPatcherTest.php index e8d2c3e..32b30ee 100644 --- a/tests/phpunit/patcher/MapPatcherTest.php +++ b/tests/phpunit/patcher/MapPatcherTest.php @@ -13,6 +13,7 @@ /** * @covers Diff\MapPatcher + * @covers Diff\ThrowingPatcher * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by -- To view, visit https://gerrit.wikimedia.org/r/65257 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I07d509e84e246c68cdec1818a98bca244ce25a5c Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Diff Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Anja Jentzsch <[email protected]> Gerrit-Reviewer: Ataherivand <[email protected]> Gerrit-Reviewer: Aude <[email protected]> Gerrit-Reviewer: Daniel Kinzler <[email protected]> Gerrit-Reviewer: Daniel Werner <[email protected]> Gerrit-Reviewer: Denny Vrandecic <[email protected]> Gerrit-Reviewer: Henning Snater <[email protected]> Gerrit-Reviewer: Jens Ohlig <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: John Erling Blad <[email protected]> Gerrit-Reviewer: Lydia Pintscher <[email protected]> Gerrit-Reviewer: Markus Kroetzsch <[email protected]> Gerrit-Reviewer: Nikola Smolenski <[email protected]> Gerrit-Reviewer: Silke Meyer <[email protected]> Gerrit-Reviewer: Tobias Gritschacher <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
