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