WordPress.org

Make WordPress Core

Ticket #9452: 9452.errormessage.patch

File 9452.errormessage.patch, 3.1 KB (added by hakre, 9 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>