From fcf2eb0eee7dc56b5ef5ef429b54a504ca229f41 Mon Sep 17 00:00:00 2001 From: Anika Henke Date: Sun, 26 Jul 2015 17:03:51 +0100 Subject: fixed missing bug icon in extension manager (since #1247) --- lib/plugins/extension/helper/list.php | 2 +- lib/plugins/extension/images/bug.gif | Bin 0 -> 194 bytes lib/plugins/extension/style.less | 5 +++++ 3 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 lib/plugins/extension/images/bug.gif (limited to 'lib/plugins') diff --git a/lib/plugins/extension/helper/list.php b/lib/plugins/extension/helper/list.php index bf099d308..6ca72f7ce 100644 --- a/lib/plugins/extension/helper/list.php +++ b/lib/plugins/extension/helper/list.php @@ -266,7 +266,7 @@ class helper_plugin_extension_list extends DokuWiki_Plugin { $return = '