file

7 rows where patch_id = 28418

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
136136 28418 28418 includes/DefaultSettings.php
136137 28418 28418 includes/OutputPage.php
136138 28418 28418 includes/actions/HistoryAction.php
136139 28418 28418 includes/skins/Skin.php
136140 28418 28418 includes/specials/SpecialImport.php
136141 28418 28418 includes/specials/SpecialRecentChanges.php
136142 28418 28418 resources/src/mediawiki.debug/debug.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);