A map-based PHP autoloader