file
7 rows where patch_id = 2074
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
9480 | 2074 2074 | includes/specials/SpecialEditWatchlist.php |
9481 | 2074 2074 | includes/watcheditem/WatchedItemStore.php |
9482 | 2074 2074 | includes/watcheditem/WatchedItemStoreInterface.php |
9483 | 2074 2074 | languages/i18n/en.json |
9484 | 2074 2074 | languages/i18n/qqq.json |
9485 | 2074 2074 | resources/src/mediawiki.special/special.less |
9486 | 2074 2074 | tests/phpunit/includes/watcheditem/WatchedItemStoreUnitTest.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);