file

17 rows where patch_id = 2793

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
14117 2793 2793 ServiceWiring.php
14118 2793 2793 db_patches/echo_push_subscription.sql
14119 2793 2793 extension.json
14120 2793 2793 i18n/api/en.json
14121 2793 2793 i18n/api/qqq.json
14122 2793 2793 i18n/en.json
14123 2793 2793 i18n/qqq.json
14124 2793 2793 includes/Push/PushNotifier.php
14125 2793 2793 includes/Push/SubscriptionManager.php
14126 2793 2793 includes/Push/Utils.php
14127 2793 2793 includes/api/Push/ApiEchoPushSubscriptionsCreate.php
14128 2793 2793 includes/api/Push/ApiEchoPushSubscriptionsDelete.php
14129 2793 2793 tests/phpunit/api/Push/ApiEchoPushSubscriptionsCreateTest.php
14130 2793 2793 tests/phpunit/api/Push/ApiEchoPushSubscriptionsDeleteTest.php
14131 2793 2793 tests/phpunit/integration/Push/PushNotifierTest.php
14132 2793 2793 tests/phpunit/integration/Push/SubscriptionManagerTest.php
14133 2793 2793 tests/phpunit/integration/Push/UtilsTest.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);