diff --git a/lib/outputlib.php b/lib/outputlib.php
index a1d73f9cbbb..37dc3c47eb3 100644
--- a/lib/outputlib.php
+++ b/lib/outputlib.php
@@ -714,6 +714,12 @@ class theme_config {
      */
     public $haseditswitch = false;
 
+    /**
+     * Allows a theme to customise primary navigation by specifying the list of items to remove.
+     * @var array
+     */
+    public $removedprimarynavitems = [];
+
     /**
      * Load the config.php file for a particular theme, and return an instance
      * of this class. (That is, this is a factory method.)
@@ -784,6 +790,7 @@ class theme_config {
             $baseconfig = $config;
         }
 
+        // Ensure that each of the configurable properties defined below are also defined at the class level.
         $configurable = [
             'parents', 'sheets', 'parents_exclude_sheets', 'plugins_exclude_sheets', 'usefallback',
             'javascripts', 'javascripts_footer', 'parents_exclude_javascripts',