1 | <?php |
2 | |
3 | require_once __DIR__ . "/leeTexto.php"; |
4 | |
5 | /** |
6 | * Devuelve el valor entero de un parámetro |
7 | * recibido en el servidor por medio de GET, |
8 | * POST o cookie. Si parámetro no se puede |
9 | * convertir a entero, se genera un error. |
10 | * Si el parámetro no se recibe, devuelve |
11 | * null. |
12 | * Para que las llaves foráneas fucionen bien, |
13 | * si se recibe una cadena vacía, se devuelve |
14 | * null. |
15 | */ |
16 | function leeEntero(string $parametro): ?int |
17 | { |
18 | $valor = leeTexto($parametro); |
19 | return $valor === null || $valor === "" |
20 | ? null |
21 | : trim($valor); |
22 | } |
23 |