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