adding PHP stuff