file
16 rows where patch_id = 10827
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
49624 | 10827 10827 | includes/DefaultSettings.php |
49625 | 10827 10827 | includes/GlobalFunctions.php |
49626 | 10827 10827 | includes/Permissions/PermissionManager.php |
49627 | 10827 10827 | includes/ProxyLookup.php |
49628 | 10827 10827 | includes/StreamFile.php |
49629 | 10827 10827 | includes/cache/MessageCache.php |
49630 | 10827 10827 | includes/jobqueue/JobQueueFederated.php |
49631 | 10827 10827 | includes/media/Exif.php |
49632 | 10827 10827 | includes/pager/IndexPager.php |
49633 | 10827 10827 | includes/parser/DateFormatter.php |
49634 | 10827 10827 | includes/profiler/ProfilerXhprof.php |
49635 | 10827 10827 | includes/specials/SpecialShortPages.php |
49636 | 10827 10827 | includes/specials/forms/UploadForm.php |
49637 | 10827 10827 | includes/user/User.php |
49638 | 10827 10827 | includes/user/UserNameUtils.php |
49639 | 10827 10827 | tests/phpunit/includes/user/UserNameUtilsTest.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);