From 10fda3721f652e02525b06fc3b2da4523ace2a46 Mon Sep 17 00:00:00 2001
From: Fabian Vogler <fabian@equivalence.ch>
Date: Wed, 25 Jan 2023 10:37:03 +0100
Subject: [PATCH] Add global area Header Notice

---
 themes/worldskills/elements/header.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/themes/worldskills/elements/header.php b/themes/worldskills/elements/header.php
index c4cc009..83012fb 100644
--- a/themes/worldskills/elements/header.php
+++ b/themes/worldskills/elements/header.php
@@ -17,6 +17,12 @@
 
     <div class="<?php echo $c->getPageWrapperClass()?>">
 
+        <?php
+        $a = new GlobalArea('Header Notice');
+        $a->disableControls();
+        $a->display();
+        ?>
+
         <nav class="navbar navbar-expand-md ws-navbar-main ws-navbar-stripe">
             <div class="container">
                 <?php