]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-5.5' of git.php.net:php-src into PHP-5.5
authorRemi Collet <remi@php.net>
Mon, 26 Nov 2012 12:04:04 +0000 (13:04 +0100)
committerRemi Collet <remi@php.net>
Mon, 26 Nov 2012 12:04:04 +0000 (13:04 +0100)
* 'PHP-5.5' of git.php.net:php-src:
  count($test_files) already be checked above : if ($test_cnt)


Trivial merge