diff options
| author | 2022-08-05 15:10:41 +0200 | |
|---|---|---|
| committer | 2022-08-05 15:10:41 +0200 | |
| commit | 6af7854de36be215d7ef59a2663b492d5bd13cfd (patch) | |
| tree | b3c2e9e3e168308b41fee99046ac06be0ba1ebd0 /cli/do-install.php | |
| parent | 8bb11bd4f8cd91470591121b88aeb6c0983ab9d8 (diff) | |
CLI allow empty DB prefix (#4488)
Allow an empty `--db-prefix` parameter (i.e. optional) in CLI to have no DB prefix
Diffstat (limited to 'cli/do-install.php')
| -rwxr-xr-x | cli/do-install.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/do-install.php b/cli/do-install.php index db1af8ea5..c5258d1e0 100755 --- a/cli/do-install.php +++ b/cli/do-install.php @@ -26,7 +26,7 @@ $dBparams = array( 'db-user:', 'db-password:', 'db-base:', - 'db-prefix:', + 'db-prefix::', ); $options = getopt('', array_merge($params, $dBparams)); |
