file

8 rows where patch_id = 87236

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
414430 87236 87236 extension.json
414431 87236 87236 includes/Hooks.php
414432 87236 87236 includes/Push/Api/ApiEchoPushSubscriptions.php
414433 87236 87236 includes/Push/Api/ApiEchoPushSubscriptionsCreate.php
414434 87236 87236 includes/Push/Api/ApiEchoPushSubscriptionsDelete.php
414435 87236 87236 tests/phpunit/api/Push/ApiEchoPushSubscriptionsCreateTest.php
414436 87236 87236 tests/phpunit/api/Push/ApiEchoPushSubscriptionsDeleteTest.php
414437 87236 87236 tests/phpunit/api/Push/ApiEchoPushSubscriptionsTest.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);