mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-27 17:51:09 +00:00
99b5de8038
The Data class contained utilities for two unrelated purposes. Split each half to a separate class. Notably, this improves the signature of the getLocalData() function. Change-Id: Icde615fb9d483fee1f352c34909b37f8ffde8081 |
||
---|---|---|
.. | ||
arwiki-config.json | ||
arwiki-data.json | ||
ckbwiki-config.json | ||
ckbwiki-data.json | ||
commonswiki-config.json | ||
commonswiki-data.json | ||
enwiki-config.json | ||
enwiki-data.json | ||
frwiki-config.json | ||
frwiki-data.json | ||
huwiki-config.json | ||
huwiki-data.json | ||
itwiki-config.json | ||
itwiki-data.json | ||
nlwiki-config.json | ||
nlwiki-data.json | ||
plwiki-config.json | ||
plwiki-data.json | ||
README.txt | ||
srwiki-config.json | ||
srwiki-data.json |
Minimal overrides for LanguageData::getLocalData() and mw.config required for us to be able to parse HTML generated by the given wiki. To make one of these files, run the following in browser console: config.json: JSON.stringify( mw.config.get( [ 'wgContentLanguage', 'wgArticlePath', 'wgNamespaceIds', 'wgFormattedNamespaces' ] ), null, '\t' ) data.json: JSON.stringify( mw.loader.moduleRegistry[ 'ext.discussionTools.init' ].packageExports[ 'parser/data.json' ], null, '\t' )