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

Change subject: Removed obsolete tests/phpunit.php test runner
......................................................................


Removed obsolete tests/phpunit.php test runner

Change-Id: Ic7cb6e0517b71d988812b50477ef0cdefac51bd9
---
M RELEASE-NOTES
D tests/phpunit.php
2 files changed, 4 insertions(+), 28 deletions(-)

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



diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 157ccfa..655aa51 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -11,6 +11,10 @@
 * MapPatcher will now report conflicts for remove operations that specify a 
value to be removed
 different from the value in the structure being patched.
 
+; Removals
+
+* Removed obsolete tests/phpunit.php test runner
+
 === Version 0.7 ===
 2013-07-16
 
diff --git a/tests/phpunit.php b/tests/phpunit.php
deleted file mode 100755
index e0bfc4f..0000000
--- a/tests/phpunit.php
+++ /dev/null
@@ -1,28 +0,0 @@
-<?php
-
-require_once( 'PHPUnit/Runner/Version.php' );
-
-if ( PHPUnit_Runner_Version::id() !== '@package_version@'
-       && version_compare( PHPUnit_Runner_Version::id(), '3.7', '<' )
-) {
-       die( 'PHPUnit 3.7 or later required, you have ' . 
PHPUnit_Runner_Version::id() . ".\n" );
-}
-
-require_once( 'PHPUnit/Autoload.php' );
-
-require_once( __DIR__ . '/bootstrap.php' );
-
-echo 'Running tests for Diff version ' . Diff_VERSION . ".\n";
-
-$arguments = $_SERVER['argv'];
-array_shift( $arguments );
-
-if ( array_search( '--group', $arguments ) === false ) {
-       $arguments[] = '--group';
-       $arguments[] = 'Diff';
-}
-
-$arguments[] = __DIR__;
-
-$runner = new PHPUnit_TextUI_Command();
-$runner->run( $arguments );

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic7cb6e0517b71d988812b50477ef0cdefac51bd9
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Diff
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: Daniel Werner <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: jenkins-bot

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

Reply via email to