mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-05 04:39:51 +00:00
71c7e02858
* Port Flow Makefile to Echo * Move resources to Resources.php Change-Id: I75e96cc1e51a7768600ffc083550fc94ea9d1e6c
31 lines
771 B
XML
31 lines
771 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<!-- colors don't work on Windows! -->
|
|
<phpunit bootstrap="bootstrap.php"
|
|
colors="true"
|
|
backupGlobals="false"
|
|
convertErrorsToExceptions="true"
|
|
convertNoticesToExceptions="true"
|
|
convertWarningsToExceptions="true"
|
|
stopOnFailure="false"
|
|
timeoutForSmallTests="2"
|
|
timeoutForMediumTests="10"
|
|
timeoutForLargeTests="60"
|
|
strict="true"
|
|
verbose="true">
|
|
<testsuites>
|
|
<testsuite name="extensions">
|
|
<!-- assumes extension is installed to mediawiki/extensions/Echo -->
|
|
<file>../../../tests/phpunit/suites/ExtensionsTestSuite.php</file>
|
|
</testsuite>
|
|
</testsuites>
|
|
<groups>
|
|
<exclude>
|
|
<group>Utility</group>
|
|
<group>Broken</group>
|
|
<group>ParserFuzz</group>
|
|
<group>Stub</group>
|
|
</exclude>
|
|
</groups>
|
|
</phpunit>
|