]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-5.3' into PHP-5.4
authorChristopher Jones <sixd@php.net>
Tue, 14 Aug 2012 21:13:03 +0000 (14:13 -0700)
committerChristopher Jones <sixd@php.net>
Tue, 14 Aug 2012 21:13:03 +0000 (14:13 -0700)
* PHP-5.3:
  Fix skipifs


Trivial merge