digits_filter.php

Ir a la documentación de este archivo.

<?php
class DigitsFilter implements FilterInterface
{

    public static function execute($s, $options)
    {
        $patron = '/[^0-9]/';
        return preg_replace($patron, '', (string) $s);
    }

}