file
11 rows where patch_id = 28479
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
136288 | 28479 28479 | .phan/stubs/hhvm.php |
136289 | 28479 28479 | composer.json |
136290 | 28479 28479 | includes/ElasticaErrorHandler.php |
136291 | 28479 28479 | includes/Job/Job.php |
136292 | 28479 28479 | includes/Parser/AST/Visitor/QueryFixer.php |
136293 | 28479 28479 | includes/Profile/SearchProfileService.php |
136294 | 28479 28479 | includes/Query/PrefixFeature.php |
136295 | 28479 28479 | includes/RequestLogger.php |
136296 | 28479 28479 | maintenance/updateOneSearchIndexConfig.php |
136297 | 28479 28479 | maintenance/updateSuggesterIndex.php |
136298 | 28479 28479 | tests/phan/issues/.gitkeep |
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);