<?php

namespace RectorPrefix20210928;

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