]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-5.4' into PHP-5.5
authorAnatol Belski <ab@php.net>
Fri, 24 May 2013 22:10:49 +0000 (00:10 +0200)
committerAnatol Belski <ab@php.net>
Fri, 24 May 2013 22:10:49 +0000 (00:10 +0200)
* PHP-5.4:
  reduced the file size even more


Trivial merge