PHP extension for opcode caching
