file
12 rows where patch_id = 2392
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
12090 | 2392 2392 | includes/CommentModifier.php |
12091 | 2392 2392 | modules/modifier.js |
12092 | 2392 2392 | tests/cases/ar-no-paragraph-oldparser/ar-no-paragraph-oldparser-modified.html |
12093 | 2392 2392 | tests/cases/ar-no-paragraph-parsoid/ar-no-paragraph-parsoid-modified.html |
12094 | 2392 2392 | tests/cases/en-big-oldparser/en-big-oldparser-modified.html |
12095 | 2392 2392 | tests/cases/en-big-parsoid/en-big-parsoid-modified.html |
12096 | 2392 2392 | tests/cases/pl-big-oldparser/pl-big-oldparser-modified.html |
12097 | 2392 2392 | tests/cases/pl-big-parsoid/pl-big-parsoid-modified.html |
12098 | 2392 2392 | tests/cases/signatures-comments/signatures-comments-modified.html |
12099 | 2392 2392 | tests/cases/signatures-funny/signatures-funny-modified.html |
12100 | 2392 2392 | tests/cases/split-list/split-list-modified.html |
12101 | 2392 2392 | tests/cases/split-list2/split-list2-modified.html |
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);