file
13 rows where patch_id = 827
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
4101 | 827 827 | RELEASE-NOTES-1.37 |
4102 | 827 827 | includes/EditPage.php |
4103 | 827 827 | includes/Title.php |
4104 | 827 827 | includes/deferred/LinksUpdate.php |
4105 | 827 827 | includes/page/Article.php |
4106 | 827 827 | includes/page/WikiPage.php |
4107 | 827 827 | includes/specials/pagers/ContribsPager.php |
4108 | 827 827 | tests/phpunit/includes/RevisionDbTest.php |
4109 | 827 827 | tests/phpunit/includes/Storage/PageUpdaterTest.php |
4110 | 827 827 | tests/phpunit/includes/api/ApiEditPageTest.php |
4111 | 827 827 | tests/phpunit/includes/page/ArticleViewTest.php |
4112 | 827 827 | tests/phpunit/includes/page/WikiPageDbTest.php |
4113 | 827 827 | tests/phpunit/includes/specials/ContribsPagerTest.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);