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