Add missing namespaces for Formula and Person pages

[physikerwelt]

Describe the issue The script #390 has created pages with Prefix XXX in the main Namespace. However, the pages should rather be created in a dedicated namespace. This will simplify searching with the built-in feature.

The task is to create two custom namespaces for Formula and Person

• [x] find NS numbers that appear to be free
• [x] Add the NSs to the config (#393)
• [x] Adjust https://www.mediawiki.org/wiki/Manual:$wgNamespacesToBeSearchedDefault (#393)
• [x] Deploy to production
• [x] Move pages

[physikerwelt]

I was considering to register a custom default NS for formulae under the hood of the mathsearch extension. However, I don't see any usecase for this at this moment. See https://www.mediawiki.org/wiki/Extension_default_namespaces

[physikerwelt]

In the future, if we create a lot of profile types, https://www.mediawiki.org/wiki/Extension:NamespaceManager might be an alternative that reduces the effort of changing things in LocalSetting, but for now, it seems the risk does not pay out the benefits.

[physikerwelt]

The range of 3000–4999 is reserved for sites to define their own custom namespaces without fear of conflict. No known extensions define namespaces in this range, and new extensions should avoid it as well.

https://www.mediawiki.org/wiki/Extension_default_namespaces#ID_3000+

Following this rule and since 42 is the most unlikely number to create conflicts I would suggest

4200 Formula 4201 Formula_talk 4202 Person 4203 Person_talk

Here, we have a potential conflict with https://github.com/OpenSemanticLab/mediawiki-extensions-OpenSemanticLab/ that also define a Person prefix NS_PERSON with the default number 7070

[physikerwelt]

Deployment via https://github.com/MaRDI4NFDI/srv-mardi02/actions/runs/6113064833