Make headerAssets variable global

Fix an occurrence of PHP errors because of the lack of initialisation
of the headerAssets variable.