From 9492fa2426542ac8d3fe0719cc9d4c98dd753d6e Mon Sep 17 00:00:00 2001 From: avegys Date: Fri, 15 May 2020 16:12:11 +0300 Subject: [PATCH] Removed whitespaces --- db/upgrade.php | 2 +- lang/en/local_o365.php | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/db/upgrade.php b/db/upgrade.php index d8661c8ed..ec77c5424 100644 --- a/db/upgrade.php +++ b/db/upgrade.php @@ -627,7 +627,7 @@ function xmldb_local_o365_upgrade($oldversion) { $DB->update_record('config_plugins', $aadsyncsetting); } else if (strpos($aadsyncsetting->value, 'nodelta') === 0) { $aadsyncsetting->value = substr($aadsyncsetting->value, 8); - $DB->update_record('config_plugins', $aadsyncsetting); + $DB->update_record('config_plugins', $aadsyncsetting); } } upgrade_plugin_savepoint($result, '2020020302', 'local', 'o365'); diff --git a/lang/en/local_o365.php b/lang/en/local_o365.php index beb263d2a..64eb66293 100644 --- a/lang/en/local_o365.php +++ b/lang/en/local_o365.php @@ -156,9 +156,8 @@ $string['calendar_event'] = 'View details'; $string['customtheme'] = 'Custom theme (Advanced)'; -$string['customthemedesc'] = 'Recommended theme is boost_o365teams. However, you can select different theme if you have +$string['customthemedesc'] = 'Recommended theme is boost_o365teams. However, you can select different theme if you have a custom theme which is adapted to be used in the Teams tab.'; - $string['groups'] = 'Office 365 Groups'; $string['groups_edit_name'] = 'Group name'; $string['groups_edit_nameexists'] = 'The group with the {$a} currently exists, please choose another name.';