Added undefined function cache_invalidate() in install/isession.inc

diff --git a/install/isession.inc b/install/isession.inc
index 8084317208d37d628abb8f42e620ca9e38a779ba..274f1f57a3f2f217404362c463271370863b4726 100644 (file)
--- a/install/isession.inc
+++ b/install/isession.inc
@@ -58,6 +58,15 @@ function html_cleanup(&$parms)
 function check_page_security($page_security)
 {
 }
+
+/*
+ Ensure file is re-read on next request if php caching is active
+*/
+function cache_invalidate($filename)
+{
+    if (function_exists('opcache_invalidate')) // OpCode extension
+        opcache_invalidate($filename);
+}
 //============================================================================
 if (!isset($path_to_root))
 {