Jeroen De Dauw has submitted this change and it was merged.
Change subject: Added @var doc
......................................................................
Added @var doc
Change-Id: I5bdafd34f8bd4adccdd1ef2d428d54c96b18d9e5
---
M tests/phpunit/patcher/ThrowingPatcherTest.php
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
Jeroen De Dauw: Looks good to me, approved
jenkins-bot: Verified
diff --git a/tests/phpunit/patcher/ThrowingPatcherTest.php
b/tests/phpunit/patcher/ThrowingPatcherTest.php
index 118773c..d9f9572 100644
--- a/tests/phpunit/patcher/ThrowingPatcherTest.php
+++ b/tests/phpunit/patcher/ThrowingPatcherTest.php
@@ -2,6 +2,7 @@
namespace Diff\Tests;
+use Diff\ThrowingPatcher;
use ReflectionClass;
/**
@@ -21,6 +22,9 @@
class ThrowingPatcherTest extends DiffTestCase {
public function testChangeThrowErrors() {
+ /**
+ * @var ThrowingPatcher $patcher
+ */
$patcher = $this->getMockForAbstractClass(
'Diff\ThrowingPatcher' );
$class = new ReflectionClass( 'Diff\ThrowingPatcher' );
--
To view, visit https://gerrit.wikimedia.org/r/81132
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5bdafd34f8bd4adccdd1ef2d428d54c96b18d9e5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Diff
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
