Hey, I have a MediaWiki extension in which I'd like to store a handful of values. Example:
* Cats 42 * Ravens 23 * Goats 0 The most obvious thing to do would be to add a new database table with a string and an integer column. However I'd like to avoid the need to run update.php to install this extension. Is there some place in the MediaWiki DB schema where I can put a few values like these? They could even be in a single serialized blob (though preferably can be looked up by string key). 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
