browser.reload.on.save=true include.path=${php.global.include.path} php.version=PHP_80 source.encoding=UTF-8 src.dir=. tags.asp=false tags.short=false testing.providers= web.root=.
