Disabled: PHP opcache module for master (needed for some tools which are not compatible with this module)