[BUGFIX] Flush opcode caches while saving PHP files.