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

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 23141a05bdaddacbb1e4c5878b39cd0c971c38af
      https://github.com/phpmyadmin/phpmyadmin/commit/23141a05bdaddacbb1e4c5878b39cd0c971c38af
  Author: Michal Čihař <mcihar at 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/f4736d054e8fd3a8052ead9284261753a7d07f64
  Author: Michal Čihař <mcihar at 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/311af4c7e0bd3acacab188ae5a8c1e74bb956d99
  Author: Michal Čihař <mcihar at 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