file

14 rows where patch_id = 38371

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
177220 38371 38371 .phpcs.xml
177221 38371 38371 autoload.php
177222 38371 38371 includes/specialpage/RedirectSpecialArticle.php
177223 38371 38371 includes/specialpage/RedirectSpecialPage.php
177224 38371 38371 includes/specialpage/SpecialRedirectToSpecial.php
177225 38371 38371 includes/specials/SpecialListusers.php
177226 38371 38371 includes/specials/SpecialMyRedirectPages.php
177227 38371 38371 includes/specials/redirects/SpecialAllMyUploads.php
177228 38371 38371 includes/specials/redirects/SpecialListAdmins.php
177229 38371 38371 includes/specials/redirects/SpecialListBots.php
177230 38371 38371 includes/specials/redirects/SpecialMycontributions.php
177231 38371 38371 includes/specials/redirects/SpecialMypage.php
177232 38371 38371 includes/specials/redirects/SpecialMytalk.php
177233 38371 38371 includes/specials/redirects/SpecialMyuploads.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);