dev #59497: speed speed speed

library/Class/RecordSelection.php

@@ -28,7 +28,7 @@ class Class_RecordSelection {
 
 
   protected function _setSelection($values) {
-    Zend_Registry::get('session')->search_record_selection = array_values(array_unique($values));
+    Zend_Registry::get('session')->search_record_selection = array_keys(array_flip($values));
     return $this;
   }
 
@@ -65,14 +65,14 @@ class Class_RecordSelection {
 
 
   public function addAll($records) {
-    array_map([$this, 'add'], $records);
-    return $this;
+    $ids = array_map(function($record) { return $record->getId(); },
+                     $records);
+    return $this->addAllIds($ids);
   }
 
 
   public function addAllIds($ids) {
-    array_map([$this, 'addId'], $ids);
-    return $this;
+    return $this->_setSelection(array_merge($this->_getSelection(), $ids));
   }