file

6 rows where patch_id = 2517

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
12850 2517 2517 RELEASE-NOTES-1.36
12851 2517 2517 includes/DefaultSettings.php
12852 2517 2517 includes/parser/MWTidy.php
12853 2517 2517 maintenance/benchmarks/benchmarkTidy.php
12854 2517 2517 tests/phpunit/includes/content/TextContentTest.php
12855 2517 2517 tests/phpunit/includes/parser/SanitizerTest.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);