Add extensions/TitleKey
Created by: eli-schwartz
Fixes FS#53745
This would enable Opensearch API queries to be able to search the wiki using a case-insensitive search, for example, the Arch Linux IRC bot "phrik".
...
Note that the maintenance scripts would need to be run in order to set
up TitleKey, which according to the documentation means running:
php extensions/TitleKey/rebuildTitleKeys.php
On the other hand, git README in git suggests that this is hooked into
the "standard updaters" so running mediawiki's global
php maintenance/update.php
should work as well.
I'm not sure how archwiki is deployed, it's not in ansible yet, so hopefully someone who knows more about mediawiki than I do can confirm this is correct.