file
7 rows where patch_id = 145
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
800 | 145 145 | composer.json |
801 | 145 145 | extension.json |
802 | 145 145 | includes/Hooks/InstallerHooks.php |
803 | 145 145 | sql/discussiontools_subscription.json |
804 | 145 145 | sql/mysql/discussiontools_subscription.sql |
805 | 145 145 | sql/postgres/discussiontools_subscription.sql |
806 | 145 145 | sql/sqlite/discussiontools_subscription.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);