PHP frontend to JSHint