WordPress.org

Make WordPress Core

Ticket #15518: plugin-editor.15518.diff

File plugin-editor.15518.diff, 622 bytes (added by duck_, 5 years ago)
  • wp-admin/plugin-editor.php

     
    7070                        update_option('recently_activated', array($file => time()) + (array)get_option('recently_activated')); 
    7171 
    7272                        wp_redirect(add_query_arg('_wpnonce', wp_create_nonce('edit-plugin-test_' . $file), "plugin-editor.php?file=$file&liveupdate=1&scrollto=$scrollto&networkwide=" . $network_wide)); 
     73                        exit; 
    7374                } 
    7475                wp_redirect( self_admin_url("plugin-editor.php?file=$file&a=te&scrollto=$scrollto") ); 
    7576        } else {