Make codechecker happy again

Author: abias

CHANGES.md

@@ -6,6 +6,7 @@ Changes
 
 ### Unreleased
 
+* 2025-10-15 - Make codechecker happy again
 * 2025-10-15 - Tests: Switch Github actions workflows to reusable workflows by Moodle an Hochschulen e.V.
 
 ### v5.0-r1

classes/privacy/provider.php

@@ -32,7 +32,6 @@
  * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  */
 class provider implements \core_privacy\local\metadata\null_provider {
-
     /**
      * Get the language string identifier with the component's language
      * file to explain why this plugin stores no data.

flushdb.php

@@ -37,4 +37,4 @@
 require_capability('moodle/site:config', context_system::instance());
 
 // Include Valkey Stats Flush DB.
-require_once($CFG->dirroot.'/'.$CFG->admin.'/tool/redis/lib/valkey-stats/flushdb.php.inc');
+require_once($CFG->dirroot . '/' . $CFG->admin . '/tool/redis/lib/valkey-stats/flushdb.php.inc');

index.php

@@ -23,8 +23,8 @@
  */
 
 require(__DIR__ . '/../../../config.php');
-require_once($CFG->libdir.'/adminlib.php');
-require_once($CFG->dirroot.'/'.$CFG->admin.'/tool/redis/locallib.php');
+require_once($CFG->libdir . '/adminlib.php');
+require_once($CFG->dirroot . '/' . $CFG->admin . '/tool/redis/locallib.php');
 global $CFG;
 
 // Set up the plugin's main page as external admin page.
@@ -71,7 +71,7 @@
 $redisstylescode = tool_redis_get_prefixed_css($redisstylescode, $cssprefix);
 
 // Add the Redis Stats styles to the page.
-$CFG->additionalhtmlhead .= '<style>'.$redisstylescode.'</style>';
+$CFG->additionalhtmlhead .= '<style>' . $redisstylescode . '</style>';
 
 // Page setup.
 echo $OUTPUT->header();

locallib.php

@@ -46,7 +46,7 @@ function tool_redis_get_prefixed_css($css, $prefix) {
         } else {
             $partdetails = explode('{', $part);
             if (substr_count($part, "{") == 2) {
-                $mediaquery = $partdetails[0]."{";
+                $mediaquery = $partdetails[0] . "{";
                 $partdetails[0] = $partdetails[1];
                 $mediaquerystarted = true;
             }
@@ -61,13 +61,13 @@ function tool_redis_get_prefixed_css($css, $prefix) {
             }
 
             if (substr_count($part, "{") == 2) {
-                $part = $mediaquery."\n".implode(', ', $subparts)."{".$partdetails[2];
+                $part = $mediaquery . "\n" . implode(', ', $subparts) . "{" . $partdetails[2];
             } else if (empty($part[0]) && $mediaquerystarted) {
                 $mediaquerystarted = false;
-                $part = implode(', ', $subparts)."{".$partdetails[2]."}\n";
+                $part = implode(', ', $subparts) . "{" . $partdetails[2] . "}\n";
             } else {
                 if (isset($partdetails[1])) {
-                    $part = implode(', ', $subparts)."{".$partdetails[1];
+                    $part = implode(', ', $subparts) . "{" . $partdetails[1];
                 }
             }
 

settings.php

@@ -26,7 +26,11 @@
 
 if ($hassiteconfig) {
     // Add the plugin's main page to the server settings category.
-    $settingspage = new admin_externalpage('tool_redis', new \core\lang_string('pluginname', 'tool_redis'),
-                                           new \core\url('/'.$CFG->admin.'/tool/redis/index.php'), 'moodle/site:config');
+    $settingspage = new admin_externalpage(
+        'tool_redis',
+        new \core\lang_string('pluginname', 'tool_redis'),
+        new \core\url('/' . $CFG->admin . '/tool/redis/index.php'),
+        'moodle/site:config'
+    );
     $ADMIN->add('server', $settingspage);
 }