einde van de werkdag
enkele aanpassingen in file.php
Merge remote-tracking branch 'origin/dev' into dev

Conflicts:
	base4/php/class/file.php