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
_______________________________________________
Wikitech-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikitech-l

Reply via email to