1<?php 2 3/** @generate-function-entries */ 4 5function filter_has_var(int $input_type, string $var_name): bool {} 6 7function filter_input(int $type, string $var_name, int $filter = FILTER_DEFAULT, array|int $options = 0): mixed {} 8 9function filter_var(mixed $value, int $filter = FILTER_DEFAULT, array|int $options = 0): mixed {} 10 11function filter_input_array(int $type, array|int $options = FILTER_DEFAULT, bool $add_empty = true): array|false|null {} 12 13function filter_var_array(array $array, array|int $options = FILTER_DEFAULT, bool $add_empty = true): array|false|null {} 14 15function filter_list(): array {} 16 17function filter_id(string $name): int|false {} 18
