2025-01-08 13:25:44 +08:00
|
|
|
browser.reload.on.save=true
|
2023-03-27 08:32:21 +08:00
|
|
|
include.path=${php.global.include.path}
|
2025-01-08 13:25:44 +08:00
|
|
|
php.version=PHP_83
|
2023-03-27 08:32:21 +08:00
|
|
|
source.encoding=UTF-8
|
|
|
|
|
src.dir=.
|
|
|
|
|
tags.asp=false
|
|
|
|
|
tags.short=false
|
|
|
|
|
web.root=.
|
