More PHP 5.5 shims, including opcache_reset