file
12 rows where patch_id = 4569
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
21476 | 4569 4569 | includes/CirrusSearch.php |
21477 | 4569 4569 | includes/Search/ArrayCirrusSearchResult.php |
21478 | 4569 4569 | includes/Search/CirrusSearchResultBuilder.php |
21479 | 4569 4569 | includes/Search/FullTextCirrusSearchResultBuilder.php |
21480 | 4569 4569 | includes/Search/FullTextResultsType.php |
21481 | 4569 4569 | includes/Search/SearchQuery.php |
21482 | 4569 4569 | includes/Search/SearchQueryBuilder.php |
21483 | 4569 4569 | includes/Searcher.php |
21484 | 4569 4569 | tests/phpunit/unit/CirrusSearchTest.php |
21485 | 4569 4569 | tests/phpunit/unit/Search/FullTextCirrusSearchResultBuilderTest.php |
21486 | 4569 4569 | tests/phpunit/unit/Search/ResultsTypeTest.php |
21487 | 4569 4569 | tests/phpunit/unit/Search/SearchQueryTest.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);