1<?php 2 3/** @generate-class-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 11/** @refcount 1 */ 12function filter_input_array(int $type, array|int $options = FILTER_DEFAULT, bool $add_empty = true): array|false|null {} 13 14/** @refcount 1 */ 15function filter_var_array(array $array, array|int $options = FILTER_DEFAULT, bool $add_empty = true): array|false|null {} 16 17/** 18 * @return array<int, string> 19 * @refcount 1 20 */ 21function filter_list(): array {} 22 23function filter_id(string $name): int|false {} 24