Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/65671
Change subject: Use phpunit config file to work around phpunit bug in the travis build ...................................................................... Use phpunit config file to work around phpunit bug in the travis build Change-Id: I28b19dc767598b91136666c2476d5231710a5d76 --- A phpunit.xml.dist 1 file changed, 26 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase refs/changes/71/65671/1 diff --git a/phpunit.xml.dist b/phpunit.xml.dist new file mode 100644 index 0000000..327a5de --- /dev/null +++ b/phpunit.xml.dist @@ -0,0 +1,26 @@ +<phpunit backupGlobals="false" + backupStaticAttributes="false" + bootstrap="Database/tests/bootstrap.php" + cacheTokens="false" + colors="true" + convertErrorsToExceptions="true" + convertNoticesToExceptions="false" + convertWarningsToExceptions="true" + stopOnError="false" + stopOnFailure="false" + stopOnIncomplete="false" + stopOnSkipped="false" + strict="true" + verbose="true"> + <testsuites> + <testsuite name="WikibaseDatabaseStandalone"> + <directory>Database/tests/phpunit</directory> + <exclude>Database/tests/phpunit/MWDB</exclude> + <exclude>Database/tests/phpunit/MediaWikiQueryInterfaceTest.php</exclude> + </testsuite> + <testsuite name="WikibaseDatabaseMediaWiki"> + <directory>Database/tests/phpunit/MWDB</directory> + <file>Database/tests/phpunit/MediaWikiQueryInterfaceTest.php</file> + </testsuite> + </testsuites> +</phpunit> -- To view, visit https://gerrit.wikimedia.org/r/65671 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I28b19dc767598b91136666c2476d5231710a5d76 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
