file

16 rows where patch_id = 82433

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
381592 82433 82433 includes/EchoContainmentSet.php
381593 82433 82433 includes/EchoHooks.php
381594 82433 82433 includes/EmailBatch.php
381595 82433 82433 includes/ForeignNotifications.php
381596 82433 82433 includes/NotifUser.php
381597 82433 82433 includes/Notifier.php
381598 82433 82433 includes/SeenTime.php
381599 82433 82433 includes/api/ApiEchoMute.php
381600 82433 82433 includes/controller/NotificationController.php
381601 82433 82433 includes/special/SpecialDisplayNotificationsConfiguration.php
381602 82433 82433 tests/phpunit/NotifUserTest.php
381603 82433 82433 tests/phpunit/controller/NotificationControllerTest.php
381604 82433 82433 tests/phpunit/integration/EchoContainmentSetTest.php
381605 82433 82433 tests/phpunit/mapper/NotificationMapperTest.php
381606 82433 82433 tests/phpunit/unit/controller/NotificationControllerUnitTest.php
381607 82433 82433 tests/phpunit/unit/gateway/UserNotificationGatewayTest.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);