PHP wrapper for the node-jslint jslint wrapper