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);
    }
}