KumiSystems/moodle-auth_jwt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix minor CI complains

Browse source
This commit is contained in:
Dmitrii Metelkin 2022-08-19 11:18:20 +10:00
parent a3014530ac
commit 992ecf4c5f
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
auth.php
View file

@ -112,7 +112,7 @@ class auth_plugin_userkey extends auth_plugin_base {
* @throws \moodle_exception If gets running via CLI or AJAX call. * @throws \moodle_exception If gets running via CLI or AJAX call.
*/ */
protected function redirect($url) { protected function redirect($url) {
if (CLI_SCRIPT or AJAX_SCRIPT) { if (CLI_SCRIPT || AJAX_SCRIPT) {
throw new moodle_exception('redirecterrordetected', 'auth_userkey', '', $url); throw new moodle_exception('redirecterrordetected', 'auth_userkey', '', $url);
} }

2
classes/core_userkey_manager.php
View file

@ -117,7 +117,7 @@ class core_userkey_manager implements userkey_manager_interface {
throw new \moodle_exception('invalidkey'); 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'); throw new \moodle_exception('expiredkey');
} }

2
version.php
View file

@ -24,7 +24,7 @@
defined('MOODLE_INTERNAL') || die; 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->release = 2022081900; // Match release exactly to version.
$plugin->requires = 2017051500; // Requires Moodle 3.3 version. $plugin->requires = 2017051500; // Requires Moodle 3.3 version.
$plugin->component = 'auth_userkey'; // Full name of the plugin (used for diagnostics). $plugin->component = 'auth_userkey'; // Full name of the plugin (used for diagnostics).