file
5 rows where patch_id = 439
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
2239 | 439 439 | includes/user/ActorCache.php |
2240 | 439 439 | includes/user/ActorStore.php |
2241 | 439 439 | includes/user/User.php |
2242 | 439 439 | tests/phpunit/integration/includes/user/ActorStoreTest.php |
2243 | 439 439 | tests/phpunit/unit/includes/user/ActorCacheTest.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);