jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/377394 )
Change subject: Fix coverage annotations
......................................................................
Fix coverage annotations
Change-Id: I1f9b421a4ce55f1e0d4a81ed4a886aae20100fab
---
M tests/phpunit/includes/SanitizerTest.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/tests/phpunit/includes/SanitizerTest.php
b/tests/phpunit/includes/SanitizerTest.php
index 7472fb9..350cb70 100644
--- a/tests/phpunit/includes/SanitizerTest.php
+++ b/tests/phpunit/includes/SanitizerTest.php
@@ -432,7 +432,6 @@
* @covers Sanitizer::escapeIdForLink()
* @covers Sanitizer::escapeIdForExternalInterwiki()
* @covers Sanitizer::escapeIdInternal()
- * @covers Sanitizer::urlEscapeId()
*
* @param string $stuff
* @param string[] $config
--
To view, visit https://gerrit.wikimedia.org/r/377394
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1f9b421a4ce55f1e0d4a81ed4a886aae20100fab
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
