Element id generation speedup.

diff --git a/includes/ui/ui_view.inc b/includes/ui/ui_view.inc
index 98af52cc0971042c18765dddfa1def692e97c9ec..5f28443035b08840dad758bd11bd46a6d371e546 100644 (file)
--- a/includes/ui/ui_view.inc
+++ b/includes/ui/ui_view.inc
@@ -613,8 +613,9 @@ function set_focus($name, $form_no=0) {
 //     Returns unique name if $name=null
 //     
 function default_focus($name=null, $form_no=0) {
+       static $next; 
        if ($name==null) 
-               $name = uniqid('_el');
+               $name = uniqid('_el',true);
     if (!isset($_POST['_focus'])) {
          set_focus($name);
     }