file

9 rows where patch_id = 88835

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
427627 88835 88835 extension.json
427628 88835 88835 maintenance/importCheckUserLogs.php
427629 88835 88835 maintenance/populateCheckUserTable.php
427630 88835 88835 src/Api/ApiQueryCheckUser.php
427631 88835 88835 src/Api/ApiQueryCheckUserLog.php
427632 88835 88835 src/ChangeService.php
427633 88835 88835 src/Hooks.php
427634 88835 88835 src/TimelinePager.php
427635 88835 88835 src/TokenManager.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);