file
14 rows where patch_id = 4064
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
19883 | 4064 4064 | .phpcs.xml |
19884 | 4064 4064 | autoload.php |
19885 | 4064 4064 | maintenance/CommandLineInc.php |
19886 | 4064 4064 | maintenance/archives/upgradeLogging.php |
19887 | 4064 4064 | maintenance/doMaintenance.php |
19888 | 4064 4064 | maintenance/eval.php |
19889 | 4064 4064 | maintenance/mcc.php |
19890 | 4064 4064 | maintenance/preprocessorFuzzTest.php |
19891 | 4064 4064 | maintenance/storage/checkStorage.php |
19892 | 4064 4064 | maintenance/storage/moveToExternal.php |
19893 | 4064 4064 | maintenance/storage/recompressTracked.php |
19894 | 4064 4064 | maintenance/storage/resolveStubs.php |
19895 | 4064 4064 | maintenance/storage/testCompression.php |
19896 | 4064 4064 | maintenance/storage/trackBlobs.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);