Ticket #1709: plugin_missing_bug.patch

plugins.php

@@ -40 +40 @@
 // If a plugin file does not exist, remove it from the list of active
 // plugins.     
 foreach ($check_plugins as $check_plugin) {
        if (!file_exists(ABSPATH . 'wp-content/plugins/' . $check_plugin)) {
                        $current = get_settings('active_plugins');
-                       unset($current[$_GET['plugin']]);
+                       unset($current[$check_plugin]);
                        update_option('active_plugins', $current);
        }
 }