diff --git a/admin/cli/uninstall_plugins.php b/admin/cli/uninstall_plugins.php index 3e162373b7abd..8d9ad2b31e593 100644 --- a/admin/cli/uninstall_plugins.php +++ b/admin/cli/uninstall_plugins.php @@ -39,6 +39,8 @@ --purge-missing Uninstall all missing from disk plugins. --plugins= A comma separated list of plugins to be uninstalled. E.g. mod_assign,mod_forum --run Execute uninstall. If this option is not set, then the script will be run in a dry mode. + --showsql Show sql queries before they are executed. + --showdebugging Show developer level debugging information. Examples: @@ -72,6 +74,8 @@ 'purge-missing' => false, 'plugins' => false, 'run' => false, + 'showsql' => false, + 'showdebugging' => false, ], [ 'h' => 'help' ]); @@ -86,6 +90,14 @@ exit(0); } +if ($options['showdebugging']) { + set_debugging(DEBUG_DEVELOPER, true); +} + +if ($options['showsql']) { + $DB->set_debug(true); +} + $pluginman = core_plugin_manager::instance(); $plugininfo = $pluginman->get_plugins();