Make WordPress Core

Ticket #9333: theme-editor.diff

File theme-editor.diff, 1.0 KB (added by mrmist, 16 years ago)

theme-editor patch

  • wp-admin/theme-editor.php

     
    202202                 <input type="hidden" name="file" value="<?php echo $file ?>" />
    203203                 <input type="hidden" name="theme" value="<?php echo $theme ?>" />
    204204                 </div>
    205                 <?php if ( count( $functions ) ) : ?>
     205<?php
     206                        if (!empty ($functions )) {
     207                         if ( count( $functions ) ) : ?>
    206208                <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; } ?>
    208210
    209211                <div>
    210212<?php if ( is_writeable($real_file) ) : ?>