Hey,
Sounds like you just want a simple key value store that.
I don't believe mediawiki has a table or interface for this.
Indeed.
Slightly relevant would be https://phabricator.wikimedia.org/T227776 although that RFC will likely come up with something that is in some way bound to a
The ticket Kosta Harlan linked before ( https://phabricator.wikimedia.org/T128602) seems more relevant. Even though an extension providing this functionality would not be of much help for my use case, unless it came bundled with core. Requiring an extra extension that needs to be installed using update.php just to avoid needing to run update.php for my extension does not make any sense.
If you are overwhelmed with SQL or mediawiki migration system please just
ask for help
Thank you Jaime but I think I can manage ;)
Cheers
-- Jeroen De Dauw | www.EntropyWins.wtf https://EntropyWins.wtf Professional wiki hosting and services: www.Professional.Wiki https://Professional.Wiki Software Crafter | Speaker | Entrepreneur | Open Source and Wikimedia contributor ~=[,,_,,]:3