file
10 rows where patch_id = 130257
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
662913 | 130257 130257 | resources/src/mediawiki.special/block.less |
662914 | 130257 130257 | resources/src/mediawiki.special.block/stores/block.js |
662915 | 130257 130257 | includes/specials/SpecialBlock.php |
662916 | 130257 130257 | resources/src/mediawiki.special.block/components/UserLookup.vue |
662917 | 130257 130257 | tests/selenium/pageobjects/block.page.js |
662918 | 130257 130257 | tests/jest/mediawiki.special.block/SpecialBlock.setup.js |
662919 | 130257 130257 | tests/jest/mediawiki.special.block/SpecialBlock.test.js |
662920 | 130257 130257 | tests/jest/mediawiki.special.block/UserLookup.test.js |
662921 | 130257 130257 | tests/jest/mediawiki.special.block/stores/block.test.js |
662922 | 130257 130257 | tests/phpunit/includes/specials/SpecialBlockTest.php |
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);