Merge pull request #3988 from WoltLab/devtools-option-name-validator
authorTim Düsterhus <duesterhus@woltlab.com>
Mon, 8 Mar 2021 14:58:27 +0000 (15:58 +0100)
committerGitHub <noreply@github.com>
Mon, 8 Mar 2021 14:58:27 +0000 (15:58 +0100)
Add option name validators to devtools form for the `option` PIP

1  2 
wcfsetup/install/lang/de.xml
wcfsetup/install/lang/en.xml

Simple merge
Simple merge