Implementación del patron Registry en PHP