1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

bump up server's maturity

This commit is contained in:
Sergei Golubchik
2021-12-20 18:14:36 +01:00
parent db0ea46eab
commit 1b8f0d4b67
3 changed files with 3 additions and 3 deletions

View File

@@ -60,7 +60,7 @@ VARIABLE_NAME PLUGIN_MATURITY
SESSION_VALUE NULL
GLOBAL_VALUE alpha
GLOBAL_VALUE_ORIGIN CONFIG
DEFAULT_VALUE beta
DEFAULT_VALUE gamma
VARIABLE_SCOPE GLOBAL
VARIABLE_TYPE ENUM
VARIABLE_COMMENT The lowest desirable plugin maturity. Plugins less mature than that will not be installed or loaded