Add php's standard coding tools