Thomas Mueller b4c3dd84b4 update to jquery-ui 1.10.0 il y a 12 ans
..
README.TXT 03f4250ce6 Migration of build files from Jenkins il y a 12 ans
build.xml 03f4250ce6 Migration of build files from Jenkins il y a 12 ans
phpcs.xml b4c3dd84b4 update to jquery-ui 1.10.0 il y a 12 ans
phpmd.xml 03f4250ce6 Migration of build files from Jenkins il y a 12 ans

README.TXT

How to setup build.xml on your local machine?

1.) Install ant
e.g. apt-get install ant

2.) Install jslint
Get the latest distribution from http://code.google.com/p/jslint4java/ and
place jslint4java-*.jar in your home under .ant/lib/

3.) Install PHP qa tools
Run as root:
pear config-set auto_discover 1
pear install pear.phpqatools.org/phpqatools pear.netpirates.net/phpDox

Alternative:
pear install pear.phpunit.de/phploc
pear install pear.phpunit.de/phpcpd
pear install pear.phpmd.org/PHP_PMD
pear install pear.pdepend.org/PHP_Depend
pear install pear.php.org/PHP_CodeSniffer
pear install PHP_CodeSniffer
pear install pear.phpqatools.org/PHP_CodeBrowser


How to call this ant script?
ant -f build/build.xml -Dbasedir=.