From b5050ef40b6360715b9815417168e5b616c5024c Mon Sep 17 00:00:00 2001
From: Joe Hunt <joe.hunt.consulting@gmail.com>
Date: Tue, 28 Jul 2015 08:06:20 +0200
Subject: [PATCH] Added undefined function cache_invalidate() in
 install/isession.inc

---
 install/isession.inc | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/install/isession.inc b/install/isession.inc
index 80843172..274f1f57 100644
--- 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))
 {
-- 
2.30.2