file
7 rows where patch_id = 3733
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
17969 | 3733 3733 | includes/installer/PostgresUpdater.php |
17970 | 3733 3733 | maintenance/postgres/tables-generated.sql |
17971 | 3733 3733 | maintenance/postgres/tables.sql |
17972 | 3733 3733 | maintenance/sqlite/tables-generated.sql |
17973 | 3733 3733 | maintenance/tables-generated.sql |
17974 | 3733 3733 | maintenance/tables.json |
17975 | 3733 3733 | maintenance/tables.sql |
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);