diff options
Diffstat (limited to 'includes/MainConfigNames.php')
| -rw-r--r-- | includes/MainConfigNames.php | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/includes/MainConfigNames.php b/includes/MainConfigNames.php index a64b754ca36c..2f67b39ad4d3 100644 --- a/includes/MainConfigNames.php +++ b/includes/MainConfigNames.php @@ -873,12 +873,6 @@ class MainConfigNames { public const DjvuUseBoxedCommand = 'DjvuUseBoxedCommand'; /** - * Name constant for the DjvuShell setting, for use with Config::get() - * @see MainConfigSchema::DjvuShell - */ - public const DjvuShell = 'DjvuShell'; - - /** * Name constant for the DjvuDump setting, for use with Config::get() * @see MainConfigSchema::DjvuDump */ @@ -4323,6 +4317,12 @@ class MainConfigNames { public const ShellboxSecretKey = 'ShellboxSecretKey'; /** + * Name constant for the ShellboxShell setting, for use with Config::get() + * @see MainConfigSchema::ShellboxShell + */ + public const ShellboxShell = 'ShellboxShell'; + + /** * Name constant for the HTTPTimeout setting, for use with Config::get() * @see MainConfigSchema::HTTPTimeout */ |