A universal configuration API for web servers