Interpreter for PHP

This PR adds an interpreter for PHP and solves the issues #1324 and #1322.