oops! php file mixed in the examples