file

10 rows where patch_id = 7478

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
33819 7478 7478 RELEASE-NOTES-1.36
33820 7478 7478 includes/MediaWikiServices.php
33821 7478 7478 includes/Permissions/GroupPermissionsLookup.php
33822 7478 7478 includes/Permissions/PermissionManager.php
33823 7478 7478 includes/ServiceWiring.php
33824 7478 7478 includes/user/UserGroupManager.php
33825 7478 7478 includes/user/UserGroupManagerFactory.php
33826 7478 7478 tests/phpunit/includes/user/UserGroupManagerTest.php
33827 7478 7478 tests/phpunit/unit/includes/Permissions/GroupPermissionsLookupTest.php
33828 7478 7478 tests/phpunit/unit/includes/Permissions/PermissionManagerTest.php

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options: 

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);