An extension of PHP_CodeSniffer