comparison 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
comparison
equal deleted inserted replaced
57:ade98a608cd3 58:082a19037887
34 $this->include_script("js/jquery-ui.min.js"); 34 $this->include_script("js/jquery-ui.min.js");
35 35
36 // include UI stylesheet 36 // include UI stylesheet
37 $skin = $rcmail->config->get('skin'); 37 $skin = $rcmail->config->get('skin');
38 $ui_map = $rcmail->config->get('jquery_ui_skin_map', array()); 38 $ui_map = $rcmail->config->get('jquery_ui_skin_map', array());
39 $ui_theme = $ui_map[$skin] ?: $skin; 39 $ui_theme = ($ui_map[$skin]??null) ?: $skin;
40 40
41 self::$ui_theme = $ui_theme; 41 self::$ui_theme = $ui_theme;
42 42
43 if (file_exists($this->home . "/themes/$ui_theme/jquery-ui.css")) { 43 if (file_exists($this->home . "/themes/$ui_theme/jquery-ui.css")) {
44 $this->include_stylesheet("themes/$ui_theme/jquery-ui.css"); 44 $this->include_stylesheet("themes/$ui_theme/jquery-ui.css");