### Eclipse Workspace Patch 1.0
#P wordpress
|
|
|
|
| 123 | 123 | <h2><?php echo wp_specialchars( $title ); ?></h2> |
| 124 | 124 | <div class="bordertitle"> |
| 125 | 125 | <form id="themeselector" action="plugin-editor.php" method="post"> |
| 126 | | <strong><label for="theme"><?php _e('Select plugin to edit:'); ?> </label></strong> |
| | 126 | <strong><label for="plugin"><?php _e('Select plugin to edit:'); ?> </label></strong> |
| 127 | 127 | <select name="plugin" id="plugin"> |
| 128 | 128 | <?php |
| 129 | 129 | foreach ($plugins as $plugin_key => $a_plugin) { |
| … |
… |
|
| 162 | 162 | |
| 163 | 163 | <ul> |
| 164 | 164 | <?php foreach($plugin_files as $plugin_file) : ?> |
| 165 | | <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> |
| | 165 | <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> |
| 166 | 166 | <?php endforeach; ?> |
| 167 | 167 | </ul> |
| 168 | 168 | </div> |
| … |
… |
|
| 175 | 175 | <input type="hidden" name="plugin" value="<?php echo $plugin ?>" /> |
| 176 | 176 | </div> |
| 177 | 177 | <?php if ( count( $functions ) ) : ?> |
| 178 | | <div id="documentation"><label for="docs-list">Documentation:</label> <?php echo $docs_select ?> <input type="button" class="button" value=" <?php _e( '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> |
| | 178 | <div id="documentation"><label for="docs-list">Documentation:</label> <?php echo $docs_select ?> <input type="button" class="button" value=" <?php _e( '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> |
| 179 | 179 | <?php endif; ?> |
| 180 | 180 | <?php if ( is_writeable($real_file) ) : ?> |
| 181 | 181 | <?php if ( in_array($file, (array) get_option('active_plugins')) ) { ?> |