Does PHP work?