Update casing on setting metadata for html_type = text
authoreileen <emcnaughton@wikimedia.org>
Thu, 1 Nov 2018 07:26:18 +0000 (20:26 +1300)
committereileen <emcnaughton@wikimedia.org>
Thu, 1 Nov 2018 07:26:18 +0000 (20:26 +1300)
commitc1a2145a541222d846143798c3f9ab3293292534
treecd9dfaf6994971e9e2225f7e136b4128512cfbaa
parent630a259bb442b3f73cfbb0fdbc55242b5fefce0b
Update casing on setting metadata for html_type = text

We have conventionally 'preferred' quick_form_type but we we not 'prefer' the more generic html_type.

We are fixing the places where the casing is inconsistent to support this
settings/Core.setting.php
settings/Directory.setting.php
settings/Extension.setting.php
settings/Search.setting.php
settings/Url.setting.php