<?xml version="1.0" encoding="UTF-8"?>
<!-- Reviewed: no -->
<sect2 id="zend.filter.set.digits">
    <title>Cifre</title>

    <para>
        Restituisce la stringa <varname>$value</varname>, eliminando tutte le cifre.
    </para>

     <sect3 id="zend.filter.set.digits.options">
        <title>Opzioni supportate per Zend_Filter_Digits</title>

        <para>
             Non ci sono ulteriozi opzioni per <classname>Zend_Filter_Digits</classname>.
        </para>
    </sect3>

     <sect3 id="zend.filter.set.digits.basic">
        <title>Utilizzo base</title>

        <para>
            Di seguito un esempio base di utilizzo:
        </para>

        <programlisting language="php"><![CDATA[
$filter = new Zend_Filter_Digits();

print $filter->filter('October 2009');
]]></programlisting>

        <para>
            Questo restituisce "2009".
        </para>

        <programlisting language="php"><![CDATA[
$filter = new Zend_Filter_Digits();

print $filter->filter('HTML 5 for Dummies');
]]></programlisting>

        <para>
            Questo restituisce "5".
        </para>
    </sect3>
</sect2>
