Hotline#43916 compte lecteur favoris depuis la recherche catalogue ordre de creation
Merged
requested to merge hotline#43916_compte_lecteur_favoris_depuis_la_recherche_catalogue_ordre_de_creation into hotline-master
Merge request reports
Activity
Filter activity
192 196 continue; 193 197 194 198 $matches[] = ['id' => $bookmark_code, 195 'label' => $facet->getCodeRubriqueLibelle() . ' : ' . $facet_label . ' (' . $codes_count[$bookmark_code] . ')']; 199 'label' => sprintf('%s : %s (%d)', 200 $facet->getCodeRubriqueLibelle(), 201 $facet_label, 202 $codes_count[$bookmark_code])]; 196 203 } 197 204 205 sort($matches, SORT_REGULAR); mentioned in commit 6e57d56c
Please register or sign in to reply