From: Dmitry Stogov <dmitry@zend.com>
Date: Thu, 11 Apr 2013 11:32:54 +0000 (+0400)
Subject: Merge branch 'master' of git.php.net:php-src
X-Git-Tag: php-5.6.0alpha1~448^2~39
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a0e3ca1c986681d0136ce4550359ecee2826a80c;p=php

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
---

a0e3ca1c986681d0136ce4550359ecee2826a80c