misc: set app_label to Publik if none was specified (#7855)

extra/modules/root.py

@@ -793,6 +793,13 @@ class AlternateRootDirectory(OldRootDirectory):
     def _q_traverse(self, path):
         get_publisher().substitutions.feed(get_request().user)
 
+        # set app_label to Publik if none was specified (this is used in
+        # backoffice header top line)
+        if not get_publisher().get_site_option('app_label'):
+            if not get_publisher().site_options.has_section('options'):
+                get_publisher().site_options.add_section('options')
+            get_publisher().site_options.set('options', 'app_label', 'Publik')
+
         response = get_response()
         if not hasattr(response, 'filter'):
             response.filter = {}

tests/test_admin_pages.py

@@ -65,4 +65,5 @@ def test_with_superuser():
     create_superuser()
     app = login(get_app(pub))
     resp = app.get('/backoffice/')
-    assert 'Publik' in resp.body
+    # this makes sure the extension loaded properly
+    assert '<span id="applabel">Publik</span>' in resp.body