[config ↪ 1.x] chore : $default plutôt que $def

spip-league/config

Par Matthieu Marcillaud, le 29 mai 2026 à 08h14min :

chore: $default plutôt que $def

Modifié
src/Path/ConfigPathAccessor.php
src/Repository/ConfigRepository.php
src/Repository/ConfigRepositoryInterface.php

Détails : chore: $default plutôt que $def (9d4f1076) · Validations · spip-league / config · GitLab