file

17 rows where patch_id = 3763

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
18041 3763 3763 RELEASE-NOTES-1.36
18042 3763 3763 docs/extension.schema.v1.json
18043 3763 3763 docs/extension.schema.v2.json
18044 3763 3763 includes/registration/ExtensionProcessor.php
18045 3763 3763 includes/registration/ExtensionRegistry.php
18046 3763 3763 includes/resourceloader/ResourceLoader.php
18047 3763 3763 includes/resourceloader/ResourceLoaderFileModule.php
18048 3763 3763 resources/src/mediawiki.less/mediawiki.skin.defaults.less
18049 3763 3763 resources/src/mediawiki.less/mediawiki.skin.variables.less
18050 3763 3763 resources/src/mediawiki.less/mediawiki.ui/variables.less
18051 3763 3763 resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less
18052 3763 3763 resources/src/mediawiki.widgets/mw.widgets.DateInputWidget.styles.less
18053 3763 3763 tests/phpunit/data/less/testvariables/mediawiki.skin.variables.less
18054 3763 3763 tests/phpunit/data/less/use-variables-default.css
18055 3763 3763 tests/phpunit/data/less/use-variables-test.css
18056 3763 3763 tests/phpunit/data/less/use-variables.less
18057 3763 3763 tests/phpunit/includes/resourceloader/ResourceLoaderTest.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);