Evaluate PHP now defined.

Fixes issue #13.