A simple service manager implemented in PHP