### 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')) ) { ?> |