Jeroen De Dauw has submitted this change and it was merged. Change subject: Remove incorrect comment ......................................................................
Remove incorrect comment Change-Id: I42f76afd79f99da75234e0fe5370ad47169735d2 --- M Tests/Phpunit/phpunit.php 1 file changed, 0 insertions(+), 3 deletions(-) Approvals: Jeroen De Dauw: Verified; Looks good to me, approved diff --git a/Tests/Phpunit/phpunit.php b/Tests/Phpunit/phpunit.php index 5d5681e..2a33ab3 100755 --- a/Tests/Phpunit/phpunit.php +++ b/Tests/Phpunit/phpunit.php @@ -1,9 +1,6 @@ #!/usr/bin/env php <?php -// Start up MediaWiki in command-line mode -//require_once( dirname( dirname( __DIR__ ) ) . "/maintenance/Maintenance.php" ); - require_once( 'PHPUnit/Runner/Version.php' ); if ( PHPUnit_Runner_Version::id() !== '@package_version@' -- To view, visit https://gerrit.wikimedia.org/r/61579 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I42f76afd79f99da75234e0fe5370ad47169735d2 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Ask Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
