file
11 rows where patch_id = 64427
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
297951 | 64427 64427 | .stylelintrc |
297952 | 64427 64427 | Gruntfile.js |
297953 | 64427 64427 | mw-config/config-cc.css |
297954 | 64427 64427 | package.json |
297955 | 64427 64427 | resources/src/jquery/jquery.suggestions.css |
297956 | 64427 64427 | resources/src/mediawiki.legacy/oldshared.css |
297957 | 64427 64427 | resources/src/mediawiki.legacy/shared.css |
297958 | 64427 64427 | resources/src/mediawiki.skinning/interface.css |
297959 | 64427 64427 | resources/src/mediawiki.special/mediawiki.special.search.css |
297960 | 64427 64427 | resources/src/mediawiki/mediawiki.debug.less |
297961 | 64427 64427 | resources/src/mediawiki/mediawiki.notification.css |
Advanced export
JSON shape: default, array, newline-delimited, object
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);