From: Tim Düsterhus Date: Mon, 8 Mar 2021 14:58:27 +0000 (+0100) Subject: Merge pull request #3988 from WoltLab/devtools-option-name-validator X-Git-Tag: 5.4.0_Alpha_1~186 X-Git-Url: https://git.stricted.de/?a=commitdiff_plain;h=4470544c3f962a02a514dedac6fa0c9d1d182747;p=GitHub%2FWoltLab%2FWCF.git Merge pull request #3988 from WoltLab/devtools-option-name-validator Add option name validators to devtools form for the `option` PIP --- 4470544c3f962a02a514dedac6fa0c9d1d182747