php-syntaxcheck tool: disabled "short tags" support option