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
|
|
|
|
|
|
2024-03-19 23:48:12 +01:00
|
|
|
[{*.php,*.xml,*.xml.dist}]
|
2015-12-13 12:42:28 +08:00
|
|
|
indent_size = 4
|
