wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-27 15:40:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../includes
History
Adam Wight 88fd6a4e28 Provide cookie workaround for setting the feature flag 
This is a convenient way to propagate alternate configuration during
browser testing.

Bug: T270240
Change-Id: Ica6399c53499be7f930e8d13b838ad265b66cdf4
2021-01-04 16:09:11 +01:00
..
CodeMirrorHooks.php Provide cookie workaround for setting the feature flag 2021-01-04 16:09:11 +01:00
ResourceLoaderCodeMirrorModule.php Use new Parser accessors 2018-08-13 22:56:03 -07:00