function print_header($title, $morenavlinks = NULL, $meta) { parent::print_header($title, $morenavlinks, '', $meta); }