file
12 rows where patch_id = 131
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
740 | 131 131 | includes/CommentFormatter.php |
741 | 131 131 | modules/dt.init.less |
742 | 131 131 | tests/cases/ar-no-paragraph-oldparser/ar-no-paragraph-oldparser-formattedreply.html |
743 | 131 131 | tests/cases/double-signature1/double-signature1-formattedreply.html |
744 | 131 131 | tests/cases/en-big-oldparser/en-big-oldparser-formattedreply.html |
745 | 131 131 | tests/cases/for-parser-cache/for-parser-cache-formattedreply.html |
746 | 131 131 | tests/cases/fr-unsigned-oldparser/fr-unsigned-oldparser-formattedreply.html |
747 | 131 131 | tests/cases/it-unsigned-oldparser/it-unsigned-oldparser-formattedreply.html |
748 | 131 131 | tests/cases/pl-big-oldparser/pl-big-oldparser-formattedreply.html |
749 | 131 131 | tests/cases/signatures-funny/signatures-funny-formattedreply.html |
750 | 131 131 | tests/cases/unclosed-font/unclosed-font-formattedreply.html |
751 | 131 131 | tests/cases/wrappers/wrappers-formattedreply.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);