I’m told by @skew that the curl doesn’t always work or stopped working or something. I will try wget as mentioned here when I can: https://www.howtoforge.com/tutorial/how-to-install-mediawiki-on-ubuntu-1804/#install-mediawiki
No one has replied
No, really. Copy, paste. Mess around with it. Best way to learn.
@Glitch - Why is it eating the square brackets down in the category code? I'm not having any luck with unicode.
Updated this for two reasons.
Different wiki installs have different prefixes. Allowed easily changing the prefix from 'wiki_' to whatever.
The latest versions of MediaWiki messed up the ability to do case-insensitive page_title searches from the Mu*. Fixed that.