file
15 rows where patch_id = 2391
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
12075 | 2391 2391 | includes/CommentModifier.php |
12076 | 2391 2391 | includes/CommentParser.php |
12077 | 2391 2391 | includes/CommentUtils.php |
12078 | 2391 2391 | includes/ThreadItem.php |
12079 | 2391 2391 | modules/Parser.js |
12080 | 2391 2391 | modules/ThreadItem.js |
12081 | 2391 2391 | modules/modifier.js |
12082 | 2391 2391 | modules/utils.js |
12083 | 2391 2391 | tests/cases/en-big-oldparser/en-big-oldparser-modified.html |
12084 | 2391 2391 | tests/cases/en-big-parsoid/en-big-parsoid-modified.html |
12085 | 2391 2391 | tests/cases/mixed-indentation/mixed-indentation-modified.html |
12086 | 2391 2391 | tests/cases/mixed-indentation/mixed-indentation.html |
12087 | 2391 2391 | tests/cases/pl-big-oldparser/pl-big-oldparser-modified.html |
12088 | 2391 2391 | tests/cases/pl-big-parsoid/pl-big-parsoid-modified.html |
12089 | 2391 2391 | tests/qunit/testUtils.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);