minor edit, missing dollar sign in front of variable name in PHP example in the Manual fix #3700 [ci skip]
