fix php example in doc