id,patch_id,filename
427656,88842,extension.json
427657,88842,includes/Hooks.php
427658,88842,resources/ext.CodeMirror.js
427659,88842,resources/modules/ve-cm/ve.ui.CodeMirrorAction.js
427660,88842,tests/selenium/highlightingfeatureflag.js
427661,88842,tests/selenium/specs/highlighting-disabled.js
427662,88842,tests/selenium/specs/highlighting-wikitext2010.js
427663,88842,tests/selenium/specs/highlighting-wikitext2017.js