Added PHP 5.6 opcodes