id,patch_id,filename
427670,88844,extension.json
427671,88844,includes/Hooks.php
427672,88844,resources/ext.CodeMirror.js
427673,88844,resources/modules/ve-cm/ve.ui.CodeMirrorAction.js