file

12 rows where patch_id = 2520

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
12858 2520 2520 includes/Linker.php
12859 2520 2520 includes/actions/WatchAction.php
12860 2520 2520 includes/changes/ChangesList.php
12861 2520 2520 includes/specials/SpecialEditWatchlist.php
12862 2520 2520 includes/specials/SpecialWatchlist.php
12863 2520 2520 includes/watcheditem/WatchedItem.php
12864 2520 2520 languages/i18n/en.json
12865 2520 2520 languages/i18n/qqq.json
12866 2520 2520 resources/Resources.php
12867 2520 2520 resources/src/mediawiki.page.watch.ajax.js
12868 2520 2520 tests/phpunit/includes/actions/WatchActionTest.php
12869 2520 2520 tests/phpunit/includes/watcheditem/WatchedItemUnitTest.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);