WordPress.org

Make WordPress Core

Ticket #7055: theme_editor_patch.patch

File theme_editor_patch.patch, 508 bytes (added by Cyberstorm, 7 years ago)
  • wp-admin/theme-editor.php

     
    8383<?php endif; 
    8484 
    8585$description = get_file_description($file); 
    86 $desc_header = ( $description != $file_show ) ? "$description</strong> (%s)" : "%s"; 
     86$desc_header = ( $description != $file_show ) ? "$description</strong> (%s)" : "%s</strong>"; 
    8787?> 
    8888<div class="wrap"> 
    8989<div class="bordertitle">