Force cache invalidation when options.inc.php is (re-)created

diff --git a/wcfsetup/install/files/lib/data/option/OptionEditor.class.php b/wcfsetup/install/files/lib/data/option/OptionEditor.class.php
index aad1a9ae91daef4009a113dc7165c0f5daad3ef3..2653fa3482b503967b1bb814b1da7385e15fa27f 100644 (file)
--- a/wcfsetup/install/files/lib/data/option/OptionEditor.class.php
+++ b/wcfsetup/install/files/lib/data/option/OptionEditor.class.php
@@ -136,5 +136,6 @@ class OptionEditor extends DatabaseObjectEditor implements IEditableCachedObject
                $writer->close();
                
                FileUtil::makeWritable(WCF_DIR.'options.inc.php');
+               WCF::resetZendOpcache(WCF_DIR.'options.inc.php');
        }
 }