Ticket #5174: 5174.diff

wp-admin/plugins.php

@@ -92 +92 @@
         </thead>
 <?php
         $style = '';
+        
+        foreach($current_plugins as $plugin_file) //Check that all the active plugins are on the plugins list.
+                if ( ! empty($plugins) && ! isset( $plugins[ $plugin_file] ) )
+                        deactivate_plugins($plugin_file);
 
         foreach($plugins as $plugin_file => $plugin_data) {
                 $style = ('class="alternate"' == $style|| 'class="alternate active"' == $style) ? '' : 'alternate';