file
7 rows where patch_id = 7505
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
33946 | 7505 7505 | tests/phpunit/AbuseFilterDBTest.php |
33947 | 7505 7505 | tests/phpunit/AbuseFilterVariableGeneratorDBTest.php |
33948 | 7505 7505 | tests/phpunit/ConsequencesExecutorTest.php |
33949 | 7505 7505 | tests/phpunit/VariablesBlobStoreTest.php |
33950 | 7505 7505 | tests/phpunit/unit/AbuseFilterVariableGeneratorTest.php |
33951 | 7505 7505 | tests/phpunit/unit/Parser/ParserTest.php |
33952 | 7505 7505 | tests/phpunit/unit/Variables/LazyVariableComputerTest.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);