file
5 rows where patch_id = 2131
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
9772 | 2131 2131 | includes/ServiceWiring.php |
9773 | 2131 2131 | src/Hook/CheckUserFormatRowHook.php |
9774 | 2131 2131 | src/Hook/HookRunner.php |
9775 | 2131 2131 | src/TimelinePager.php |
9776 | 2131 2131 | src/TimelinePagerFactory.php |
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);