always have a Themelet, never null

2023-06-27 15:56:49 +01:00
parent 304a86b554
commit 00d4f9f75c
70 changed files with 71 additions and 81 deletions
--- a/ext/user_config/main.php
+++ b/ext/user_config/main.php
@@ -42,7 +42,7 @@ class UserOptionsBuildingEvent extends Event
 class UserConfig extends Extension
 {
    /** @var UserConfigTheme */
-    protected ?Themelet $theme;
+    protected Themelet $theme;

    public const VERSION = "ext_user_config_version";
    public const ENABLE_API_KEYS = "ext_user_config_enable_api_keys";