<?php

namespace RectorPrefix20210808;

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