Ignore the htdocs/xml/ folder
Remove closing PHP tags
Check that `$titles' is not empty
Remove unnecessary calls to isset()
Merge pull request #209 from dtrebbien/patch-3

Miscellaneous changes