file

6 rows where patch_id = 516

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
2666 516 516 maintenance/jsduck/eg-iframe.html
2667 516 516 resources/Resources.php
2668 516 516 resources/src/mediawiki.base/errorLogger.js
2669 516 516 resources/src/mediawiki.base/log.js
2670 516 516 resources/src/mediawiki.base/mediawiki.base.js
2671 516 516 resources/src/startup/mediawiki.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);