Index of /plugins-dist/revisions
Name Last modified Size Description
Parent Directory -
.gitignore 2023-02-28 19:26 92
adminer.php 2026-11-01 22:27 2.7K
afficher_diff/ 2026-10-13 10:19 -
base/ 2026-10-13 10:19 -
composer.json 2025-06-19 20:07 178
formulaires/ 2026-10-13 10:19 -
genie/ 2026-10-13 10:19 -
inc/ 2026-10-13 10:19 -
lang/ 2026-10-13 10:19 -
paquet.xml 2023-02-28 19:26 1.9K
phpcs.xml.dist 2023-02-28 19:26 388
phpstan-baseline.neon 2023-02-28 19:26 12K
phpstan.neon.dist 2023-02-28 19:26 166
prive/ 2026-10-13 10:19 -
revisions_administra..> 2023-02-28 19:26 9.1K
revisions_autoriser.php 2023-02-28 19:26 1.5K
revisions_ieconfig.php 2023-02-28 19:26 645
revisions_pipeline.php 2023-02-28 19:26 12K