file

14 rows where patch_id = 10848

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
49720 10848 10848 includes/Revision/MutableRevisionRecord.php
49721 10848 10848 includes/Revision/RevisionRecord.php
49722 10848 10848 includes/Revision/RevisionSlots.php
49723 10848 10848 includes/Revision/RevisionStore.php
49724 10848 10848 includes/Revision/SlotRecord.php
49725 10848 10848 includes/Revision/SlotRoleHandler.php
49726 10848 10848 includes/Revision/SlotRoleRegistry.php
49727 10848 10848 includes/Storage/PageUpdater.php
49728 10848 10848 includes/diff/DifferenceEngine.php
49729 10848 10848 tests/phpunit/includes/Revision/SlotRecordTest.php
49730 10848 10848 tests/phpunit/includes/Storage/PageUpdaterTest.php
49731 10848 10848 tests/phpunit/includes/diff/DifferenceEngineTest.php
49732 10848 10848 tests/phpunit/unit/includes/Revision/RevisionSlotsTest.php
49733 10848 10848 tests/phpunit/unit/includes/Revision/SlotRoleHandlerTest.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);