file
10 rows where patch_id = 82352
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
381289 | 82352 82352 | RELEASE-NOTES-1.38 |
381290 | 82352 82352 | includes/htmlform/HTMLForm.php |
381291 | 82352 82352 | includes/htmlform/HTMLFormElement.php |
381292 | 82352 82352 | includes/htmlform/HTMLFormField.php |
381293 | 82352 82352 | includes/htmlform/fields/HTMLAutoCompleteSelectField.php |
381294 | 82352 82352 | includes/htmlform/fields/HTMLCheckMatrix.php |
381295 | 82352 82352 | includes/htmlform/fields/HTMLFormFieldCloner.php |
381296 | 82352 82352 | resources/Resources.php |
381297 | 82352 82352 | resources/src/mediawiki.htmlform.ooui/Element.js |
381298 | 82352 82352 | resources/src/mediawiki.htmlform/cond-state.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);