| 1 | <?php |
| 2 | |
| 3 | require_once __DIR__ . "/../lib/php/BAD_REQUEST.php"; |
| 4 | |
| 5 | function validaVenta($venta) |
| 6 | { |
| 7 | if ($venta === false) |
| 8 | throw new ProblemDetails( |
| 9 | status: BAD_REQUEST, |
| 10 | title: "Venta en captura no encontrada.", |
| 11 | type: "/error/ventaencapturanoencontrada.html", |
| 12 | detail: "No se encontró ninguna venta en captura.", |
| 13 | ); |
| 14 | } |
| 15 |