Replace PHP short open tag, as it might be turned off in PHP < 5.4.0.
Add optional info page protection.
Fix typos.
Fix default folder download (still strange for shell-tar).
Minor tweaks.
Revert "Merge remote-tracking branch 'lrsjng/develop' into develop"

This reverts commit ea17b88a26aacbdb5ea55a5be10154e0d7dc66ee, reversing
changes made to 3addd67d31908d305a72d00b77aa18b150db3c53.
Merge remote-tracking branch 'lrsjng/develop' into develop

Conflicts:
	src/_h5ai/server/php/inc/class-app.php
	src/_h5ai/server/php/index.php