A simplification of the core WordPress settings API