Ticket #9333: theme-editor.diff
File theme-editor.diff, 1.0 KB (added by , 16 years ago) |
---|
-
wp-admin/theme-editor.php
202 202 <input type="hidden" name="file" value="<?php echo $file ?>" /> 203 203 <input type="hidden" name="theme" value="<?php echo $theme ?>" /> 204 204 </div> 205 <?php if ( count( $functions ) ) : ?> 205 <?php 206 if (!empty ($functions )) { 207 if ( count( $functions ) ) : ?> 206 208 <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> 207 <?php endif; ?>209 <?php endif; } ?> 208 210 209 211 <div> 210 212 <?php if ( is_writeable($real_file) ) : ?>