From 992ecf4c5f85eb8d81d0502fb7851fa7f77ffc62 Mon Sep 17 00:00:00 2001 From: Dmitrii Metelkin Date: Fri, 19 Aug 2022 11:18:20 +1000 Subject: [PATCH] Fix minor CI complains --- auth.php | 2 +- classes/core_userkey_manager.php | 2 +- version.php | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/auth.php b/auth.php index e05f7f5..0f29683 100644 --- a/auth.php +++ b/auth.php @@ -112,7 +112,7 @@ class auth_plugin_userkey extends auth_plugin_base { * @throws \moodle_exception If gets running via CLI or AJAX call. */ protected function redirect($url) { - if (CLI_SCRIPT or AJAX_SCRIPT) { + if (CLI_SCRIPT || AJAX_SCRIPT) { throw new moodle_exception('redirecterrordetected', 'auth_userkey', '', $url); } diff --git a/classes/core_userkey_manager.php b/classes/core_userkey_manager.php index 83e7c0b..bb05ed5 100644 --- a/classes/core_userkey_manager.php +++ b/classes/core_userkey_manager.php @@ -117,7 +117,7 @@ class core_userkey_manager implements userkey_manager_interface { throw new \moodle_exception('invalidkey'); } - if (!empty($key->validuntil) and $key->validuntil < time()) { + if (!empty($key->validuntil) && $key->validuntil < time()) { throw new \moodle_exception('expiredkey'); } diff --git a/version.php b/version.php index eef3b4a..95b0b6a 100644 --- a/version.php +++ b/version.php @@ -24,7 +24,7 @@ defined('MOODLE_INTERNAL') || die; -$plugin->version = 2022081900; // The current plugin version (Date: YYYYMMDDXX) +$plugin->version = 2022081900; // The current plugin version (Date: YYYYMMDDXX). $plugin->release = 2022081900; // Match release exactly to version. $plugin->requires = 2017051500; // Requires Moodle 3.3 version. $plugin->component = 'auth_userkey'; // Full name of the plugin (used for diagnostics).