Add a basic PHP server-generator example