]> granicus.if.org Git - php/commitdiff
fix #66048 for PHP7
authorJulien Pauli <jpauli@php.net>
Tue, 12 May 2015 14:15:10 +0000 (16:15 +0200)
committerJulien Pauli <jpauli@php.net>
Tue, 12 May 2015 14:15:10 +0000 (16:15 +0200)
* fix-66048:
  Fix for #66048


Trivial merge