(PHP 5 >= 5.2.0, PHP 7, PHP 8)
filter_id — Retourne l'identifiant d'un filtre nommé
$name
name
Nom du filtre à récupérer.
Identifiant du filtre en cas de succès, ou false si le filtre n'existe pas.
false
