mirror_php/moodle
1
0
Fork 0
mirror of https://github.com/moodle/moodle.git synced 2025-03-25 01:50:55 +01:00
Code Issues Projects Releases Wiki Activity

Merge branch 'MDL-81949' of https://github.com/paulholden/moodle

Browse Source
This commit is contained in:
Sara Arjona 2024-06-10 16:46:32 +02:00
commit 95dfd66a8d
No known key found for this signature in database
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
admin/tool/replace/cli/replace.php
View File

@ -57,7 +57,13 @@ list($options, $unrecognized) = cli_get_params(
)
);
if ($options['help'] || $options['search'] === null || $options['replace'] === null) {
if ($unrecognized) {
$unrecognized = implode("\n ", $unrecognized);
cli_error(get_string('cliunknowoption', 'admin', $unrecognized));
}
// Ensure that user has populated both the search/replace parameters.
if ($options['help'] || !is_string($options['search']) || !is_string($options['replace'])) {
echo $help;
exit(0);
}