int_filter.php

Ir a la documentación de este archivo.

<?php
class IntFilter implements FilterInterface
{
    public static function execute ($s, $options)
    {
        return (int) $s;
    }
}