spip /
SPIP
| ⇢ | A | fonctions.php ➔ filtre_bornes_pagination_dist() added | |
| B | ↘ | C | fonctions.php ➔ filtre_pagination_dist() got worse |
| A | ↛ | filtres.php ➔ filtre_bornes_pagination_dist() removed |
