diff --git a/functions.php b/functions.php
index 4fadff8d9..8b98d1427 100644
--- a/functions.php
+++ b/functions.php
@@ -2742,51 +2742,54 @@
}
- print '[' . $_SESSION["client.userAgent"] . ']';
-
- print "
-
-
- | ";
+ if (!strstr($_SESSION["client.userAgent"], "MSIE")) {
+ print "
+
+
+ | ";
+
+ } else {
// old style subtoolbar:
-/* print "".
- _('Select:')."
- All,
- Unread,
- None
- ".
- _('Toggle:')." Unread,
- Starred
- ".
- _('Mark as read:')."
- Page,
- Feed";
- print " | "; */
+ print "".
+ _('Select:')."
+ All,
+ Unread,
+ None
+ ".
+ _('Toggle:')." Unread,
+ Starred
+ ".
+ _('Mark as read:')."
+ Page,
+ Feed";
+ print " | ";
+
+ }
if ($search && $feed_id >= 0 && get_pref($link, 'ENABLE_LABELS') && GLOBAL_ENABLE_LABELS) {
print "
|