file

5 rows where patch_id = 2101

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
9547 2101 2101 autoload.php
9548 2101 2101 includes/HookContainer/HookRunner.php
9549 2101 2101 includes/skins/Hook/SkinPageReadyConfigHook.php
9550 2101 2101 resources/Resources.php
9551 2101 2101 resources/src/mediawiki.page.ready/ready.js

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