From da038d8b6dd476dcb91994e731e36c8123d0fe42 Mon Sep 17 00:00:00 2001 From: "jacob.viertel@wunderbyte.at" Date: Tue, 3 Dec 2024 14:52:46 +0100 Subject: [PATCH] Linting: linting code --- classes/pluginsInstaller.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/classes/pluginsInstaller.php b/classes/pluginsInstaller.php index 89354f5..cf4b201 100755 --- a/classes/pluginsInstaller.php +++ b/classes/pluginsInstaller.php @@ -363,6 +363,7 @@ public function upgrade_install_plugins_recipe($installable) { /** * Manual plugin installation. * @param stdClass $installable + * @param string $giturl */ public function manual_install_plugins($installable, $giturl) { global $CFG, $DB; @@ -471,7 +472,6 @@ private static function set_remote_repository($directorypath, $gitzipurl) { /** * Initialize the git repo * @param string $directorypath - * @param string $gitzipurl */ private static function mark_directory_as_save($directorypath) { $cmd = sprintf('git config --system --add safe.directory %s 2>&1', escapeshellarg($directorypath));