diff plugins/jqueryui/jqueryui.php @ 58:082a19037887 default tip

More cleaning up php8 Warnings/deprecations
author Charlie Root
date Wed, 15 Oct 2025 14:06:01 -0400
parents 1e000243b222
children
line wrap: on
line diff
--- a/plugins/jqueryui/jqueryui.php	Wed Oct 08 09:33:13 2025 -0400
+++ b/plugins/jqueryui/jqueryui.php	Wed Oct 15 14:06:01 2025 -0400
@@ -36,7 +36,7 @@
         // include UI stylesheet
         $skin     = $rcmail->config->get('skin');
         $ui_map   = $rcmail->config->get('jquery_ui_skin_map', array());
-        $ui_theme = $ui_map[$skin] ?: $skin;
+        $ui_theme = ($ui_map[$skin]??null) ?: $skin;
 
         self::$ui_theme = $ui_theme;