| include.path=${php.global.include.path} | include.path=${php.global.include.path} |
| php.version=PHP_53 | php.version=PHP_53 |
| source.encoding=UTF-8 | source.encoding=UTF-8 |
| src.dir=. | src.dir=. |
| tags.asp=false | tags.asp=false |
| tags.short=true | tags.short=true |
| web.root=. | web.root=. |