diff --git a/dev/phpcheckstyle/phpstandard.dtd b/dev/phpcheckstyle/phpstandard.dtd new file mode 100644 index 00000000000..bde6e6b2b52 --- /dev/null +++ b/dev/phpcheckstyle/phpstandard.dtd @@ -0,0 +1,13 @@ + + + + + + + + + + + + +