file
10 rows where patch_id = 15035
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
71882 | 15035 15035 | includes/Fallbacks/FallbackMethodTrait.php |
71883 | 15035 15035 | includes/Fallbacks/PhraseSuggestFallbackMethod.php |
71884 | 15035 15035 | includes/Parser/AST/Visitor/QueryFixer.php |
71885 | 15035 15035 | includes/Search/BaseCirrusSearchResultSet.php |
71886 | 15035 15035 | includes/Search/CirrusSearchResultSet.php |
71887 | 15035 15035 | includes/Search/InterleavedResultSet.php |
71888 | 15035 15035 | includes/Search/ResultSet.php |
71889 | 15035 15035 | tests/phpunit/integration/Parser/AST/Visitor/QueryFixerTest.php |
71890 | 15035 15035 | tests/phpunit/integration/Search/SearcherTest.php |
71891 | 15035 15035 | tests/phpunit/unit/Search/ResultSetTest.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);