file
6 rows where patch_id = 88843
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
427664 | 88843 88843 | extension.json |
427665 | 88843 88843 | resources/ext.CodeMirror.js |
427666 | 88843 88843 | resources/mode/mediawiki/accessible-colors.less |
427667 | 88843 88843 | resources/mode/mediawiki/colorblind-colors.less |
427668 | 88843 88843 | resources/mode/mediawiki/mediawiki.css |
427669 | 88843 88843 | resources/modules/ve-cm/ve.ui.CodeMirrorAction.js |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE file ( id INTEGER PRIMARY KEY, patch_id INTEGER NOT NULL, filename INTEGER NOT NULL, FOREIGN KEY(patch_id) REFERENCES patch(id) ); CREATE INDEX file_patch_id ON file(patch_id);