file
11 rows where patch_id = 78943
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
364901 | 78943 78943 | extension.json |
364902 | 78943 78943 | includes/CentralAuthHooks.php |
364903 | 78943 78943 | includes/CentralAuthServices.php |
364904 | 78943 78943 | includes/CentralAuthUIService.php |
364905 | 78943 78943 | includes/ServiceWiring.php |
364906 | 78943 78943 | includes/Special/SpecialCentralAuth.php |
364907 | 78943 78943 | includes/Special/SpecialGlobalRenameProgress.php |
364908 | 78943 78943 | includes/Special/SpecialGlobalRenameQueue.php |
364909 | 78943 78943 | includes/Special/SpecialGlobalRenameUser.php |
364910 | 78943 78943 | includes/Special/SpecialMultiLock.php |
364911 | 78943 78943 | tests/phpunit/CentralAuthUIServiceTest.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);