file
8 rows where patch_id = 79196
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
366091 | 79196 79196 | .eslintignore |
366092 | 79196 79196 | autoload.php |
366093 | 79196 79196 | maintenance/benchmarks/README.md |
366094 | 79196 79196 | maintenance/benchmarks/benchmarkCommentFormatter.php |
366095 | 79196 79196 | maintenance/benchmarks/benchmarkTidy.php |
366096 | 79196 79196 | maintenance/benchmarks/data/CommentFormatter/rc100-2021-07-29.json |
366097 | 79196 79196 | maintenance/benchmarks/data/jsmin/jquery-3.2.1.js.gz |
366098 | 79196 79196 | maintenance/benchmarks/data/tidy/australia-untidy.html.gz |
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);