file

8 rows where patch_id = 58419

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
268593 58419 58419 includes/MWTimestamp.php
268594 58419 58419 includes/preferences/DefaultPreferencesFactory.php
268595 58419 58419 includes/preferences/TimezoneFilter.php
268596 58419 58419 includes/user/UserOptionsManager.php
268597 58419 58419 includes/user/UserTimeCorrection.php
268598 58419 58419 tests/common/TestSetup.php
268599 58419 58419 tests/phpunit/includes/user/UserOptionsManagerTest.php
268600 58419 58419 tests/phpunit/unit/includes/user/UserTimeCorrectionTest.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);