diff --git a/.editorconfig b/.editorconfig deleted file mode 100644 index 6e2c813ccff398be2bd356cbed0c605888d95108..0000000000000000000000000000000000000000 --- a/.editorconfig +++ /dev/null @@ -1,11 +0,0 @@ -# editorconfig.org -root=true - -[*] -charset=utf-8 -end_of_line=lf -indent_size=4 -indent_style=space -insert_final_newline=true -tab_width=8 -trim_trailing_whitespace=true diff --git a/.editorconfig b/.editorconfig new file mode 120000 index 0000000000000000000000000000000000000000..bab0d35c9233a6831796344a0889540754f8fe40 --- /dev/null +++ b/.editorconfig @@ -0,0 +1 @@ +devtools/editorconfig \ No newline at end of file diff --git a/.php_cs.dist b/.php_cs.dist new file mode 120000 index 0000000000000000000000000000000000000000..f23a608677e448362579a78309210a2dac1d534c --- /dev/null +++ b/.php_cs.dist @@ -0,0 +1 @@ +devtools/php/php_cs.dist \ No newline at end of file diff --git a/phpmd-ruleset.xml b/phpmd-ruleset.xml new file mode 120000 index 0000000000000000000000000000000000000000..c6393cfe216bbef71d4a20ef857af6ee955cc40d --- /dev/null +++ b/phpmd-ruleset.xml @@ -0,0 +1 @@ +devtools/php/phpmd-ruleset.xml \ No newline at end of file