ServerManagerRegistry.php Interfaces, Classes, Traits and Enums ServerManagerRegistry Registry for the Server Manager.