file
13 rows where patch_id = 82388
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
381450 | 82388 82388 | includes/MovePage.php |
381451 | 82388 82388 | includes/installer/MysqlUpdater.php |
381452 | 82388 82388 | includes/installer/PostgresUpdater.php |
381453 | 82388 82388 | includes/installer/SqliteUpdater.php |
381454 | 82388 82388 | maintenance/abstractSchemaChanges/patch-drop-page_restrictions-pr_user.json |
381455 | 82388 82388 | maintenance/archives/patch-drop-page_restrictions-pr_user.sql |
381456 | 82388 82388 | maintenance/archives/patch-page_restrictions-pr_user-unsigned.sql |
381457 | 82388 82388 | maintenance/postgres/tables-generated.sql |
381458 | 82388 82388 | maintenance/sqlite/archives/patch-drop-page_restrictions-pr_user.sql |
381459 | 82388 82388 | maintenance/sqlite/tables-generated.sql |
381460 | 82388 82388 | maintenance/tables-generated.sql |
381461 | 82388 82388 | maintenance/tables.json |
381462 | 82388 82388 | tests/phpunit/includes/TitleTest.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);