<?php

namespace RectorPrefix20210808;

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