<?php

namespace RectorPrefix20210624;

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