file
7 rows where patch_id = 38381
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
177271 | 38381 38381 | includes/DefaultSettings.php |
177272 | 38381 38381 | includes/actions/RevertAction.php |
177273 | 38381 38381 | includes/filerepo/file/LocalFile.php |
177274 | 38381 38381 | includes/logging/LogFormatter.php |
177275 | 38381 38381 | languages/i18n/en.json |
177276 | 38381 38381 | languages/i18n/qqq.json |
177277 | 38381 38381 | tests/phpunit/includes/logging/UploadLogFormatterTest.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);