file

10 rows where patch_id = 851

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
4483 851 851 includes/Linker.php
4484 851 851 includes/changes/ChangesList.php
4485 851 851 includes/changetags/ChangeTagsRevisionItem.php
4486 851 851 includes/diff/DifferenceEngine.php
4487 851 851 includes/revisiondelete/RevDelRevisionItem.php
4488 851 851 includes/revisionlist/RevisionItem.php
4489 851 851 includes/specials/SpecialMergeHistory.php
4490 851 851 includes/specials/SpecialUndelete.php
4491 851 851 includes/specials/pagers/DeletedContribsPager.php
4492 851 851 resources/src/mediawiki.interface.helpers.styles.less

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