jenkins-bot has submitted this change and it was merged. Change subject: Added @covers tags for AtomicDiffOp ......................................................................
Added @covers tags for AtomicDiffOp Change-Id: I14f3c12b9b6ee9d90186f8eb63f3844732ad3cdf --- M tests/phpunit/diffop/DiffOpAddTest.php M tests/phpunit/diffop/DiffOpChangeTest.php M tests/phpunit/diffop/DiffOpRemoveTest.php 3 files changed, 3 insertions(+), 0 deletions(-) Approvals: Tobias Gritschacher: Looks good to me, approved jenkins-bot: Verified diff --git a/tests/phpunit/diffop/DiffOpAddTest.php b/tests/phpunit/diffop/DiffOpAddTest.php index e1b02ae..8a9d499 100644 --- a/tests/phpunit/diffop/DiffOpAddTest.php +++ b/tests/phpunit/diffop/DiffOpAddTest.php @@ -6,6 +6,7 @@ /** * @covers Diff\DiffOpAdd + * @covers Diff\AtomicDiffOp * * 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/diffop/DiffOpChangeTest.php b/tests/phpunit/diffop/DiffOpChangeTest.php index e11246f..579f15c 100644 --- a/tests/phpunit/diffop/DiffOpChangeTest.php +++ b/tests/phpunit/diffop/DiffOpChangeTest.php @@ -6,6 +6,7 @@ /** * @covers Diff\DiffOpChange + * @covers Diff\AtomicDiffOp * * 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/diffop/DiffOpRemoveTest.php b/tests/phpunit/diffop/DiffOpRemoveTest.php index 39d94a6..41a2134 100644 --- a/tests/phpunit/diffop/DiffOpRemoveTest.php +++ b/tests/phpunit/diffop/DiffOpRemoveTest.php @@ -6,6 +6,7 @@ /** * @covers Diff\DiffOpRemove + * @covers Diff\AtomicDiffOp * * 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/65258 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I14f3c12b9b6ee9d90186f8eb63f3844732ad3cdf Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Diff Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: Anja Jentzsch <a...@anjeve.de> Gerrit-Reviewer: Ataherivand <abraham.taheriv...@wikimedia.de> Gerrit-Reviewer: Aude <aude.w...@gmail.com> Gerrit-Reviewer: Daniel Kinzler <daniel.kinz...@wikimedia.de> Gerrit-Reviewer: Daniel Werner <daniel.wer...@wikimedia.de> Gerrit-Reviewer: Denny Vrandecic <denny.vrande...@wikimedia.de> Gerrit-Reviewer: Henning Snater <henning.sna...@wikimedia.de> Gerrit-Reviewer: Jens Ohlig <jens.oh...@wikimedia.de> Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: John Erling Blad <jeb...@gmail.com> Gerrit-Reviewer: Lydia Pintscher <lydia.pintsc...@wikimedia.de> Gerrit-Reviewer: Markus Kroetzsch <mar...@semantic-mediawiki.org> Gerrit-Reviewer: Nikola Smolenski <smole...@eunet.rs> Gerrit-Reviewer: Silke Meyer <silke.me...@wikimedia.de> Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits