Install van Portal.php

Even draaien, nodig voor update database