Missing global caused $boardurl to not be updated

! Missing global caused $boardurl to not be updated globally after updating it in Settings.php

This fixes bug #1019