file
7 rows where patch_id = 58420
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
268601 | 58420 58420 | includes/page/PageIdentityValue.php |
268602 | 58420 58420 | includes/page/PageLookup.php |
268603 | 58420 58420 | includes/page/PageReference.php |
268604 | 58420 58420 | includes/page/PageStore.php |
268605 | 58420 58420 | includes/page/ProperPageIdentity.php |
268606 | 58420 58420 | tests/phpunit/includes/page/PageStoreTest.php |
268607 | 58420 58420 | tests/phpunit/unit/includes/page/PageIdentityValueTest.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);