jenkins-bot has submitted this change and it was merged.

Change subject: Remove empty comment line from GlobalTest.php
......................................................................


Remove empty comment line from GlobalTest.php

Remove empty line comments as found by the
MediaWiki.WhiteSpace.SpaceBeforeSingleLineComment.EmptyComment sniff

Change-Id: Ibd60165ae8ddef2a2fd443856e7476f32a0c6392
---
M tests/phpunit/includes/GlobalFunctions/GlobalTest.php
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Siebrand: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/tests/phpunit/includes/GlobalFunctions/GlobalTest.php 
b/tests/phpunit/includes/GlobalFunctions/GlobalTest.php
index e39e02f..33479c6 100644
--- a/tests/phpunit/includes/GlobalFunctions/GlobalTest.php
+++ b/tests/phpunit/includes/GlobalFunctions/GlobalTest.php
@@ -583,7 +583,6 @@
                        // if you hack it just right are kinda pathological,
                        // and unreliable cross-platform or on IE which means 
they're
                        // unlikely to appear on intranets.
-                       //
                        // Those will survive the algorithm but with results 
that
                        // are less consistent.
 

-- 
To view, visit https://gerrit.wikimedia.org/r/246189
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ibd60165ae8ddef2a2fd443856e7476f32a0c6392
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to