! Forgot to declare $flushed in DisablePlugin. Thanks CerealGuy! (Man…

…agePlugins.php)
Wedge · Dec 10, 2014 · edb14af · edb14af
1 parent 16b5014
commit edb14af
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/core/app/ManagePlugins.php b/core/app/ManagePlugins.php
@@ -1096,6 +1096,7 @@ function EnablePlugin()
 function DisablePlugin($manifest = null, $plugin = null)
 {
 	global $context, $settings;
+	static $flushed = false;
 
 	// We might be coming from the user's request or a separate process. If from elsewhere, we don't need to do all the checks.
 	if (empty($manifest) || empty($plugin))