file

18 rows where patch_id = 816

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
4061 816 816 includes/composer/ComposerVendorHtaccessCreator.php
4062 816 816 includes/editpage/TextConflictHelper.php
4063 816 816 includes/editpage/TextboxBuilder.php
4064 816 816 includes/interwiki/NullInterwikiLookup.php
4065 816 816 includes/libs/HtmlArmor.php
4066 816 816 includes/linker/LinkRenderer.php
4067 816 816 includes/linker/LinkRendererFactory.php
4068 816 816 includes/registration/ExtensionDependencyError.php
4069 816 816 includes/utils/ExecutableFinder.php
4070 816 816 maintenance/benchmarks/benchmarkTitleValue.php
4071 816 816 maintenance/checkDependencies.php
4072 816 816 tests/phpunit/HamcrestPHPUnitIntegration.php
4073 816 816 tests/phpunit/MediaWikiCoversValidator.php
4074 816 816 tests/phpunit/includes/editpage/TextboxBuilderTest.php
4075 816 816 tests/phpunit/unit/includes/editpage/TextboxBuilderTest.php
4076 816 816 tests/phpunit/unit/includes/libs/DeflateTest.php
4077 816 816 tests/phpunit/unit/includes/libs/StaticArrayWriterTest.php
4078 816 816 tests/phpunit/unit/includes/registration/ExtensionJsonValidatorTest.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);