file
6 rows where patch_id = 78886
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
364555 | 78886 78886 | autoload.php |
364556 | 78886 78886 | maintenance/benchmarks/bench_HTTP_HTTPS.php |
364557 | 78886 78886 | maintenance/benchmarks/bench_Wikimedia_base_convert.php |
364558 | 78886 78886 | maintenance/benchmarks/bench_delete_truncate.php |
364559 | 78886 78886 | maintenance/benchmarks/bench_if_switch.php |
364560 | 78886 78886 | maintenance/benchmarks/benchmarkStringReplacement.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);