put page headers in a div tag, a=chris

Chris Pollett [2022-09-05 02:Sep:th]
put page headers in a div tag, a=chris
Filename
src/views/StaticView.php
diff --git a/src/views/StaticView.php b/src/views/StaticView.php
index ce6c89663..a049d6753 100644
--- a/src/views/StaticView.php
+++ b/src/views/StaticView.php
@@ -59,9 +59,11 @@ class StaticView extends View
         if ($_SERVER["MOBILE"]) {
             $logo = C\LOGO_SMALL;
         }
-        if (isset($data['PAGE_HEADER'])) {
-            e($this->element("wiki")->dynamicSubstitutions(C\PUBLIC_GROUP_ID,
-                $data, $data['PAGE_HEADER']));
+        if (isset($data['PAGE_HEADER'])) {?>
+            <div class="current-activity-header">
+            <?= $this->element("wiki")->dynamicSubstitutions(C\PUBLIC_GROUP_ID,
+                $data, $data['PAGE_HEADER']));?>
+            </div><?php
         } else { ?>
             <div class="current-activity-header center">
             <h1 class="logo"><a href="<?= C\SHORT_BASE_URL . '?'.
ViewGit