mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-30 19:16:39 +00:00
065c7d8f2d
(Also README corrections) Change-Id: I037155ba1b775511273a78a85b34c29f3319a9a6
11 lines
452 B
Plaintext
11 lines
452 B
Plaintext
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.require( 'ext.discussionTools.init' ).parserData, null, '\t' )
|