mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-28 10:11:45 +00:00
6c3dd3aaa9
Now that all the real hooks have been separated out Change-Id: Ibdb42f98614fc551068f8f8e5297dcc99251ab46
11 lines
471 B
Plaintext
11 lines
471 B
Plaintext
Minimal overrides for Data::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, 2 )
|
|
|
|
data.json:
|
|
JSON.stringify( mw.loader.moduleRegistry[ 'ext.discussionTools.init' ].packageExports[ 'parser/data.json' ], null, 2 )
|