file
10 rows where patch_id = 73
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
561 | 73 73 | modules/dm/ext.advancedSearch.LanguageOptionProvider.js |
562 | 73 73 | modules/dm/ext.advancedSearch.SearchModel.js |
563 | 73 73 | modules/ext.advancedSearch.FieldElementBuilder.js |
564 | 73 73 | modules/ext.advancedSearch.QueryCompiler.js |
565 | 73 73 | modules/ext.advancedSearch.defaultFields.js |
566 | 73 73 | modules/ui/ext.advancedSearch.CheckboxInputWidget.js |
567 | 73 73 | modules/ui/ext.advancedSearch.ImageDimensionInput.js |
568 | 73 73 | modules/ui/ext.advancedSearch.ItemMenuOptionWidget.js |
569 | 73 73 | modules/ui/ext.advancedSearch.NamespaceFilters.js |
570 | 73 73 | modules/ui/ext.advancedSearch.SearchPreview.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);