forkcms/forkcms — pull request #1011 by WouterSioen (2014-12-18 10:41:03+00:00)
Title: Clear the PHP5.5+ opcode cache after changing php files.

Some stuff in Fork is cached in php files. The php5.5+ opcode cache
doesn't see any changes when we manipulate this file. We thus need to
clear the opcode cache after changing/removing these files.