Simple PHP menu generator.