<?php

namespace RectorPrefix20210808;

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