A mirror of phpcheckstyle