dev#203399 : add libraries multi-select element in profiles

and save spaces separated ids

library/Class/User/SearchCriteria.php

@@ -100,6 +100,42 @@ class Class_User_SearchCriteriaLibrary extends Class_SearchCriteria_Select {
 
 
 
+class Class_User_SearchCriteriaMultiLibraries extends Class_User_SearchCriteriaLibrary {
+
+  public function buildElement() : ?Zend_Form_Element {
+    return new ZendAfi_Form_Element_CochesSuggestion($this->getName(),
+                                                     ['label' => $this->_('Bibliothèques'),
+                                                      'rubrique' => 'libraries',
+                                                      'value' => $this->_value]);
+  }
+
+
+  public function acceptSearchVisitor($visitor) : Class_SearchCriteria_Abstract {
+    if ($this->_isAllValues())
+      return $this;
+
+    $visitor->addQueryClause(fn($query) => $query
+                             ->in($this->_name, explode(';', $this->_value)));
+
+    return $this;
+  }
+
+
+  public function modelMatch(Storm_Model_Abstract $user): bool
+  {
+    if ($this->_isAllValues())
+      return true;
+
+    if (in_array($user->getIdSite(), explode(';', $this->_value)))
+      return true;
+
+    return false;
+  }
+}
+
+
+
+
 class Class_User_SearchCriteriaSearchFor extends Class_SearchCriteria_Abstract {
 
   protected string $_name = 'search_for';