file

9 rows where patch_id = 2582

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
13059 2582 2582 ServiceWiring.php
13060 2582 2582 extension.json
13061 2582 2582 i18n/api/en.json
13062 2582 2582 i18n/api/qqq.json
13063 2582 2582 includes/Push/SubscriptionManager.php
13064 2582 2582 includes/api/Push/ApiEchoPushSubscriptionsCreate.php
13065 2582 2582 tests/phpunit/api/Push/ApiEchoPushSubscriptionsCreateTest.php
13066 2582 2582 tests/phpunit/api/Push/ApiEchoPushSubscriptionsDeleteTest.php
13067 2582 2582 tests/phpunit/integration/Push/SubscriptionManagerTest.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);