<?php

namespace RectorPrefix20210808;

if (\class_exists('tx_form_System_Filter_Digit')) {
    return;
}
class tx_form_System_Filter_Digit
{
}
\class_alias('tx_form_System_Filter_Digit', 'tx_form_System_Filter_Digit', \false);
