file
9 rows where patch_id = 1225
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
6115 | 1225 1225 | includes/actions/WatchAction.php |
6116 | 1225 1225 | languages/i18n/en.json |
6117 | 1225 1225 | languages/i18n/qqq.json |
6118 | 1225 1225 | resources/Resources.php |
6119 | 1225 1225 | resources/src/mediawiki.action/mediawiki.action.edit.watchlistExpiry.js |
6120 | 1225 1225 | resources/src/mediawiki.api/watch.js |
6121 | 1225 1225 | resources/src/mediawiki.page.watch.ajax.js |
6122 | 1225 1225 | resources/src/mediawiki.watchstar.widgets/WatchlistExpiryWidget.css |
6123 | 1225 1225 | resources/src/mediawiki.watchstar.widgets/WatchlistExpiryWidget.js |
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);