[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 23141a: Add PHP lint to build.xml

Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 23141a05bdaddacbb1e4c5878b39cd0c971c38af https://github.com/phpmyadmin/phpmyadmin/commit/23141a05bdaddacbb1e4c5878b3… Author: Michal Čihař <mcihar(a)suse.cz> Date: 2013-06-12 (Wed, 12 Jun 2013) Changed paths: M build.xml Log Message: ----------- Add PHP lint to build.xml Commit: f4736d054e8fd3a8052ead9284261753a7d07f64 https://github.com/phpmyadmin/phpmyadmin/commit/f4736d054e8fd3a8052ead92842… Author: Michal Čihař <mcihar(a)suse.cz> Date: 2013-06-12 (Wed, 12 Jun 2013) Changed paths: M .travis.yml Log Message: ----------- Use ant for travis ci builds This allows us to share setup with jenkins Commit: 311af4c7e0bd3acacab188ae5a8c1e74bb956d99 https://github.com/phpmyadmin/phpmyadmin/commit/311af4c7e0bd3acacab188ae5a8… Author: Michal Čihař <mcihar(a)suse.cz> Date: 2013-06-12 (Wed, 12 Jun 2013) Changed paths: M build.xml Log Message: ----------- Use apply for jshint call to avoid problems with spaces in path Compare: https://github.com/phpmyadmin/phpmyadmin/compare/e7069f86f8a2...311af4c7e0bd