Ticket #12089: plugin-deactivation.patch
File plugin-deactivation.patch, 758 bytes (added by , 15 years ago) |
---|
-
plugins.php
157 157 check_admin_referer('deactivate-plugin_' . $plugin); 158 158 deactivate_plugins($plugin); 159 159 update_option('recently_activated', array($plugin => time()) + (array)get_option('recently_activated')); 160 wp_redirect("plugins.php?deactivate=true&plugin_status=$status&paged=$page"); 160 if (headers_sent()) 161 echo "<meta http-equiv='refresh' content='0;url=plugins.php?deactivate=true&plugin_status=$status&paged=$page' />"; 162 else 163 wp_redirect("plugins.php?deactivate=true&plugin_status=$status&paged=$page"); 161 164 exit; 162 165 break; 163 166 case 'deactivate-selected':