]> granicus.if.org Git - php/commit
Merge branch 'master' of git.php.net:php-src
authorDmitry Stogov <dmitry@zend.com>
Thu, 11 Apr 2013 11:32:54 +0000 (15:32 +0400)
committerDmitry Stogov <dmitry@zend.com>
Thu, 11 Apr 2013 11:32:54 +0000 (15:32 +0400)
commita0e3ca1c986681d0136ce4550359ecee2826a80c
tree9aff2ec131c65a934178866bdb33802eaf30146f
parenta78c7a42061f2501db055b389f8c247bc28cc619
parentbcb223a6264fcf1f732097b97d45e30542cc17cd
Merge branch 'master' of git.php.net:php-src

* 'master' of git.php.net:php-src:
  Fixed bug (Wrong ce cached)
  apply change from opcache readme to php.ini
  lucky that the name is not used, fix name of encoder