file

11 rows where patch_id = 1236

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
6142 1236 1236 includes/DefaultSettings.php
6143 1236 1236 includes/Rest/Handler/PageHistoryCountHandler.php
6144 1236 1236 includes/Rest/Handler/PageHistoryHandler.php
6145 1236 1236 includes/Storage/EditResultBuilder.php
6146 1236 1236 includes/changetags/ChangeTags.php
6147 1236 1236 languages/i18n/en.json
6148 1236 1236 languages/i18n/qqq.json
6149 1236 1236 tests/api-testing/REST/PageHistory.js
6150 1236 1236 tests/api-testing/REST/UserContributions.js
6151 1236 1236 tests/phpunit/integration/includes/Storage/EditResultBuilderDbTest.php
6152 1236 1236 tests/phpunit/unit/includes/Storage/EditResultBuilderTest.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);