file

13 rows where patch_id = 58471

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
268869 58471 58471 RELEASE-NOTES-1.37
268870 58471 58471 includes/session/BotPasswordSessionProvider.php
268871 58471 58471 includes/session/CookieSessionProvider.php
268872 58471 58471 includes/session/ImmutableSessionProviderWithCookie.php
268873 58471 58471 includes/session/SessionManager.php
268874 58471 58471 includes/session/SessionProvider.php
268875 58471 58471 tests/phpunit/includes/session/BotPasswordSessionProviderTest.php
268876 58471 58471 tests/phpunit/includes/session/CookieSessionProviderTest.php
268877 58471 58471 tests/phpunit/includes/session/ImmutableSessionProviderWithCookieTest.php
268878 58471 58471 tests/phpunit/includes/session/SessionBackendTest.php
268879 58471 58471 tests/phpunit/includes/session/SessionInfoTest.php
268880 58471 58471 tests/phpunit/includes/session/SessionManagerTest.php
268881 58471 58471 tests/phpunit/includes/session/SessionProviderTest.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);