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