Remoived buggy and obsolete hotkey support in pager_link().

diff --git a/includes/ui/db_pager_view.inc b/includes/ui/db_pager_view.inc
index 7fe7754ed22124b30532987de0bd9119bab6fa27..ce3ae3ddf6cc2ad184829e339e752a60df747db6 100644 (file)
--- a/includes/ui/db_pager_view.inc
+++ b/includes/ui/db_pager_view.inc
@@ -14,12 +14,11 @@ function pager_link($link_text, $url, $icon=false)
 {
        global $path_to_root;
        
-       $link = access_string($link_text);
        if (user_graphic_links() && $icon)
-               $link[0] = set_icon($icon, $link[0]);
+               $link_text = set_icon($icon, $link_text);
 
        $href = $path_to_root . $url;
-       return "<a href='$href'$link[1]>" . $link[0] . "</a>";
+       return "<a href='$href'>" . $link_text . "</a>";
 }
 
 function navi_button($name, $value, $enabled=true, $icon = false) {