file
11 rows where patch_id = 829
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
4118 | 829 829 | RELEASE-NOTES-1.37 |
4119 | 829 829 | includes/DefaultSettings.php |
4120 | 829 829 | includes/GlobalFunctions.php |
4121 | 829 829 | includes/Hook/BeforeHttpsRedirectHook.php |
4122 | 829 829 | includes/Hook/CanIPUseHTTPSHook.php |
4123 | 829 829 | includes/HookContainer/DeprecatedHooks.php |
4124 | 829 829 | includes/HookContainer/HookRunner.php |
4125 | 829 829 | includes/MediaWiki.php |
4126 | 829 829 | includes/user/Hook/UserRequiresHTTPSHook.php |
4127 | 829 829 | includes/user/User.php |
4128 | 829 829 | tests/phpunit/includes/user/UserTest.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);