Changeset 1071
- Timestamp:
- 04/14/2004 07:04:14 PM (22 years ago)
- File:
-
- 1 edited
-
trunk/wp-admin/plugins.php (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/wp-admin/plugins.php
r1015 r1071 11 11 $current = preg_replace('|\n\s*|', '\n', $current); // I don't know where this is coming from 12 12 update_option('active_plugins', $current); 13 header('Location: plugins.php ');13 header('Location: plugins.php?activate=true'); 14 14 } 15 15 … … 19 19 $current = preg_replace("|(\n)+\s*|", "\n", $current); 20 20 update_option('active_plugins', trim($current)); 21 header('Location: plugins.php ');21 header('Location: plugins.php?deactivate=true'); 22 22 } 23 23 } … … 45 45 46 46 ?> 47 48 <?php if ($_GET['activate']) : ?> 49 <div class="updated"><p>Plugin <strong>activated</strong>.</p> 50 </div> 51 <?php endif; ?> 52 <?php if ($_GET['deactivate']) : ?> 53 <div class="updated"><p>Plugin <strong>deactivated</strong>.</p> 54 </div> 55 <?php endif; ?> 56 47 57 <div class="wrap"> 48 58 <?php … … 51 61 if ($plugins_dir) { 52 62 while(($file = $plugins_dir->read()) !== false) { 53 if (!preg_match('|^\.+$|', $file)) $plugin_files[] = $file; 63 if ( !preg_match('|^\.+$|', $file) && preg_match('|\.php$|', $file) ) 64 $plugin_files[] = $file; 54 65 } 55 66 }
Note: See TracChangeset
for help on using the changeset viewer.