Add the PHP sanity check