file
12 rows where patch_id = 1806
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
8138 | 1806 1806 | autoload.php |
8139 | 1806 1806 | includes/DefaultSettings.php |
8140 | 1806 1806 | includes/Defines.php |
8141 | 1806 1806 | includes/Revision/FallbackSlotRoleHandler.php |
8142 | 1806 1806 | includes/Revision/RevisionStore.php |
8143 | 1806 1806 | includes/content/FallbackContent.php |
8144 | 1806 1806 | includes/content/FallbackContentHandler.php |
8145 | 1806 1806 | tests/phpunit/includes/Revision/RevisionStoreDbTestBase.php |
8146 | 1806 1806 | tests/phpunit/includes/content/FallbackContentHandlerTest.php |
8147 | 1806 1806 | tests/phpunit/includes/content/FallbackContentTest.php |
8148 | 1806 1806 | tests/phpunit/includes/diff/UnsupportedSlotDiffRendererTest.php |
8149 | 1806 1806 | tests/phpunit/unit/includes/Revision/FallbackSlotRoleHandlerTest.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);