]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-5.5'
authorRasmus Lerdorf <rasmus@lerdorf.com>
Sun, 20 Oct 2013 03:57:02 +0000 (20:57 -0700)
committerRasmus Lerdorf <rasmus@lerdorf.com>
Sun, 20 Oct 2013 03:57:02 +0000 (20:57 -0700)
* PHP-5.5:
  Remove senseless check here


Trivial merge