file
5 rows where patch_id = 2515
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
12842 | 2515 2515 | RELEASE-NOTES-1.36 |
12843 | 2515 2515 | composer.json |
12844 | 2515 2515 | tests/parser/ParserTestRunner.php |
12845 | 2515 2515 | tests/parser/TestFileReader.php |
12846 | 2515 2515 | tests/phpunit/suites/ParserTestFileSuite.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);