file
12 rows where patch_id = 38373
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
177236 | 38373 38373 | maintenance/cleanupPreferences.php |
177237 | 38373 38373 | maintenance/deleteBatch.php |
177238 | 38373 38373 | maintenance/includes/BackupDumper.php |
177239 | 38373 38373 | maintenance/includes/MigrateActors.php |
177240 | 38373 38373 | maintenance/mergeMessageFileList.php |
177241 | 38373 38373 | maintenance/mysql.php |
177242 | 38373 38373 | maintenance/orphans.php |
177243 | 38373 38373 | maintenance/pageExists.php |
177244 | 38373 38373 | maintenance/populateBacklinkNamespace.php |
177245 | 38373 38373 | maintenance/protect.php |
177246 | 38373 38373 | maintenance/updateCollation.php |
177247 | 38373 38373 | maintenance/updateSpecialPages.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);