Remove all the PHP code. Closes #238. At last.