2022-05-05 00:41:47 +02:00
|
|
|
[*]
|
|
|
|
insert_final_newline = true
|
|
|
|
trim_trailing_whitespace = true
|
2015-12-13 12:42:28 +08:00
|
|
|
indent_style = space
|
2016-06-26 00:05:24 +08:00
|
|
|
indent_size = 2
|
|
|
|
|
2022-07-26 22:08:31 +02:00
|
|
|
[{*.php, *.xml, *.xml.dist}]
|
2015-12-13 12:42:28 +08:00
|
|
|
indent_size = 4
|