file
12 rows where patch_id = 1864
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
8416 | 1864 1864 | includes/CommentModifier.php |
8417 | 1864 1864 | includes/CommentUtils.php |
8418 | 1864 1864 | includes/ThreadItem.php |
8419 | 1864 1864 | modules/ThreadItem.js |
8420 | 1864 1864 | modules/modifier.js |
8421 | 1864 1864 | modules/utils.js |
8422 | 1864 1864 | tests/cases/en-big-oldparser/en-big-oldparser-modified.html |
8423 | 1864 1864 | tests/cases/en-big-parsoid/en-big-parsoid-modified.html |
8424 | 1864 1864 | tests/cases/en-big-parsoid/en-big-parsoid-transcludedFrom.json |
8425 | 1864 1864 | tests/cases/fr-unsigned-parsoid/fr-unsigned-parsoid-transcludedFrom.json |
8426 | 1864 1864 | tests/cases/pl-big-oldparser/pl-big-oldparser-modified.html |
8427 | 1864 1864 | tests/cases/pl-big-parsoid/pl-big-parsoid-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);