file

9 rows where patch_id = 60347

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
276831 60347 60347 includes/MediaWikiServices.php
276832 60347 60347 includes/ServiceWiring.php
276833 60347 60347 includes/Storage/PageUpdater.php
276834 60347 60347 includes/Storage/PageUpdaterFactory.php
276835 60347 60347 includes/config/ServiceOptions.php
276836 60347 60347 includes/content/ContentHandlerFactory.php
276837 60347 60347 includes/page/WikiPage.php
276838 60347 60347 tests/phpunit/unit/includes/Storage/PageUpdaterFactoryTest.php
276839 60347 60347 tests/phpunit/unit/includes/config/ServiceOptionsTest.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);