diff options
| author | Michael Hamann <michael@content-space.de> | 2012-09-17 23:05:51 +0200 |
|---|---|---|
| committer | Michael Hamann <michael@content-space.de> | 2012-09-17 23:08:21 +0200 |
| commit | ff5a286c36a02bf81e4f8117cedda6803eaf7dfc (patch) | |
| tree | 3b248d6826a956e8ec687cea2ff2838ed417fbfd /inc/html.php | |
| parent | d33f2760e5d9ba44d858fef247c03fff3ca877f8 (diff) | |
| download | rpg-ff5a286c36a02bf81e4f8117cedda6803eaf7dfc.tar.gz rpg-ff5a286c36a02bf81e4f8117cedda6803eaf7dfc.tar.bz2 | |
Fix revisions title for pages without title with useheading on FS#2597
Diffstat (limited to 'inc/html.php')
| -rw-r--r-- | inc/html.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/inc/html.php b/inc/html.php index da89d60ed..f4010b447 100644 --- a/inc/html.php +++ b/inc/html.php @@ -464,6 +464,7 @@ function html_revisions($first=0, $media_id = false){ else $exists = @file_exists(mediaFN($id)); $display_name = (!$media_id && useHeading('navigation')) ? hsc(p_get_first_heading($id)) : $id; + if (!$display_name) $display_name = $id; if($exists && $first==0){ if (!$media_id && isset($INFO['meta']) && isset($INFO['meta']['last_change']) && $INFO['meta']['last_change']['type']===DOKU_CHANGE_TYPE_MINOR_EDIT) |