file

5 rows where patch_id = 130322

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
663253 130322 130322 tests/phpunit/unit/RevisionCheckTest.php
663254 130322 130322 src/RevisionCheck.php
663255 130322 130322 tests/phpunit/services/AutoModeratorFetchRevScoreJobTest.php
663256 130322 130322 maintenance/CheckRevision.php
663257 130322 130322 src/Services/AutoModeratorFetchRevScoreJob.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);