WordPress.org

Make WordPress Core

Ticket #9452: 9452.errormessage.patch

File 9452.errormessage.patch, 3.1 KB (added by hakre, 6 years ago)
  • wp-admin/plugin-editor.php

    ### Eclipse Workspace Patch 1.0
    #P wordpress
     
    8484        } 
    8585 
    8686        wp_enqueue_script( 'codepress' ); 
    87         add_action( 'admin_print_footer_scripts', 'codepress_footer_js' ); 
    88         require_once('admin-header.php'); 
    89  
     87        add_action( 'admin_print_footer_scripts', 'codepress_footer_js' );       
     88         
    9089        update_recently_edited(WP_PLUGIN_DIR . '/' . $file); 
    9190 
    9291        // List of allowable extensions 
     
    106105                                $error = __('Files of this type are not editable.'); 
    107106                } 
    108107        } 
     108         
     109        if ($error) 
     110                wp_die(sprintf('<p>%s</p>', $error)); 
     111         
     112        require_once('admin-header.php'); 
     113         
    109114 
    110115        if ( ! $error ) { 
    111116                $content = file_get_contents( $real_file ); 
     
    141146<h2><?php echo wp_specialchars( $title ); ?></h2> 
    142147<div class="bordertitle"> 
    143148        <form id="themeselector" action="plugin-editor.php" method="post"> 
    144                 <strong><label for="theme"><?php _e('Select plugin to edit:'); ?> </label></strong> 
     149                <strong><label for="plugin"><?php _e('Select plugin to edit:'); ?> </label></strong> 
    145150                <select name="plugin" id="plugin"> 
    146151<?php 
    147152        foreach ( $plugins as $plugin_key => $a_plugin ) { 
     
    195200                continue; 
    196201        } 
    197202?> 
    198                 <li<?php echo $file == $plugin_file ? ' class="highlight"' : ''; ?>><a href="plugin-editor.php?file=<?php echo $plugin_file; ?>&plugin=<?php echo $plugin; ?>"><?php echo $plugin_file ?></a></li> 
     203                <li<?php echo $file == $plugin_file ? ' class="highlight"' : ''; ?>><a href="plugin-editor.php?file=<?php echo $plugin_file; ?>&amp;plugin=<?php echo $plugin; ?>"><?php echo $plugin_file ?></a></li> 
    199204<?php endforeach; ?> 
    200205        </ul> 
    201206        </div> 
     
    208213                <input type="hidden" name="plugin" value="<?php echo attr($plugin) ?>" /> 
    209214                </div> 
    210215                <?php if ( count( $functions ) ) : ?> 
    211                 <div id="documentation"><label for="docs-list"><?php _e('Documentation:') ?></label> <?php echo $docs_select ?> <input type="button" class="button" value="<?php _ea( 'Lookup' ) ?> " onclick="if ( '' != jQuery('#docs-list').val() ) { window.open( 'http://api.wordpress.org/core/handbook/1.0/?function=' + escape( jQuery( '#docs-list' ).val() ) + '&locale=<?php echo urlencode( get_locale() ) ?>&version=<?php echo urlencode( $wp_version ) ?>&redirect=true'); }" /></div> 
     216                <div id="documentation"><label for="docs-list"><?php _e('Documentation:') ?></label> <?php echo $docs_select ?> <input type="button" class="button" value="<?php _ea( 'Lookup' ) ?> " onclick="if ( '' != jQuery('#docs-list').val() ) { window.open( 'http://api.wordpress.org/core/handbook/1.0/?function=' + escape( jQuery( '#docs-list' ).val() ) + '&amp;locale=<?php echo urlencode( get_locale() ) ?>&amp;version=<?php echo urlencode( $wp_version ) ?>&amp;redirect=true'); }" /></div> 
    212217                <?php endif; ?> 
    213218<?php if ( is_writeable($real_file) ) : ?> 
    214219        <?php if ( in_array($file, (array) get_option('active_plugins')) ) { ?> 
     
    227232<?php endif; ?> 
    228233 </form> 
    229234<?php 
    230         } else { 
    231                 echo '<div class="error"><p>' . $error . '</p></div>'; 
    232235        } 
    233236?> 
    234237<div class="clear"> &nbsp; </div>