AideIndexEvent.php

Table of Contents

Classes

AideIndexEvent

Événement du pipeline `aide_index` : index des rubriques et entrées de l’aide en ligne.