Refactor PHP.
Merge remote-tracking branch 'lrsjng/develop' into develop

Conflicts:
	src/_h5ai/server/php/inc/util.php