diff --git a/main/wiki/index.php b/main/wiki/index.php index 4584f43946..8232935c16 100644 --- a/main/wiki/index.php +++ b/main/wiki/index.php @@ -3786,6 +3786,13 @@ function display_wiki_search_results($search_term, $search_content=0) $row[] = ''.$obj->title.''; $row[] = $obj->user_id <>0 ? ''.$userinfo['lastname'].', '.$userinfo['firstname'].'' : get_lang('Anonymous').' ('.$obj->user_ip.')'; $row[] = $year.'-'.$month.'-'.$day.' '.$hours.":".$minutes.":".$seconds; + + if(api_is_allowed_to_edit()|| api_is_platform_admin()) + { + $showdelete=' '.get_lang('Delete').''; + } + $row[] = ''.get_lang('EditPage').' '.get_lang('Discuss').' '.get_lang('History').' '.get_lang('LinksPages').''.$showdelete; + $rows[] = $row; } @@ -3796,7 +3803,8 @@ function display_wiki_search_results($search_term, $search_content=0) $table->set_header(1,get_lang('Title'), true); $table->set_header(2,get_lang('Author').' ('.get_lang('LastVersion').')', true); $table->set_header(3,get_lang('Date').' ('.get_lang('LastVersion').')', true); - + $table->set_header(4,get_lang('Actions'), true, array ('style' => 'width:100px;')); + $table->display(); } else