file

10 rows where patch_id = 82370

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
381385 82370 82370 includes/Linker.php
381386 82370 82370 includes/resourceloader/ResourceLoaderSkinModule.php
381387 82370 82370 resources/Resources.php
381388 82370 82370 resources/src/mediawiki.skinning/content.media-common.less
381389 82370 82370 resources/src/mediawiki.skinning/content.media-print.less
381390 82370 82370 resources/src/mediawiki.skinning/content.media-screen.less
381391 82370 82370 resources/src/mediawiki.skinning/content.thumbnails-common.less
381392 82370 82370 resources/src/mediawiki.skinning/content.thumbnails-print.less
381393 82370 82370 resources/src/mediawiki.skinning/content.thumbnails-screen.less
381394 82370 82370 resources/src/mediawiki.skinning/variables.less

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);