New option to make pad names case-insensitive

fixes #3844
This commit is contained in:
DanielHabenicht 2022-04-08 10:22:19 +00:00 committed by SamTV12345
parent 22704f7dff
commit bd4a4ae8cf
5 changed files with 89 additions and 2 deletions

View file

@ -634,5 +634,10 @@
"customLocaleStrings": {},
/* Disable Admin UI tests */
"enableAdminUITests": false
"enableAdminUITests": false,
/*
* Enable/Disable case-insensitive pad names.
*/
"enforceLowerCasePadIds": "${ENFORCE_LOWER_CASE_PAD_IDS:false}"
}