file

10 rows where patch_id = 1863

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
8406 1863 1863 extension.json
8407 1863 1863 includes/CommentModifier.php
8408 1863 1863 modules/CommentController.js
8409 1863 1863 modules/dt.ui.ReplyWidget.js
8410 1863 1863 modules/modifier.js
8411 1863 1863 tests/cases/auto-sign-wikitext.json
8412 1863 1863 tests/cases/isHtmlSigned.json
8413 1863 1863 tests/cases/isWikitextSigned.json
8414 1863 1863 tests/phpunit/CommentModifierTest.php
8415 1863 1863 tests/qunit/modifier.test.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);