--- admin_menu.inc.old	2008-12-28 18:23:08.000000000 +0300
+++ admin_menu.inc	2009-04-23 00:09:49.000000000 +0400
@@ -241,17 +241,15 @@
     // Add switch_user items.
     if ($devel_user_links = module_invoke('devel', 'switch_user_list')) {
       foreach ($devel_user_links as $link) {
-        if (preg_match('!href="'. base_path() .'([^\?]+)\?([^"]+)" title="([^"]+)">((<em>)?[^<]+(</em>)?)!', $link, $match)) {
           $links[] = array(
-            'title' => $match[4],
-            'description' => $match[3],
-            'path' => urldecode($match[1]),
+            'title' => $link['title'],
+            'description' => $link['attributes']['title'],
+            'path' => urldecode($link['href']),
             'weight' => 20,
             'query' => 'destination',
             'parent_path' => 'logout',
             'options' => array('html' => TRUE),
-          );
-        }
+          );        
       }
     }
   }