reset wincache opcache if used on windows

1 files changed, 4 insertions, 0 deletions

diff --git a/core/Filesystem.php b/core/Filesystem.php
index 2306c8c131..6d4dcea677 100644
--- a/core/Filesystem.php
+++ b/core/Filesystem.php
@@ -383,6 +383,10 @@ class Filesystem
         if (function_exists('opcache_reset')) {
             @opcache_reset(); // reset the opcode cache (php 5.5.0+)
         }
+
+        if (function_exists('wincache_refresh_if_changed')) {
+            @wincache_refresh_if_changed(); // reset the wincache
+        }
     }
 
 }