file
10 rows where patch_id = 850
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
4473 | 850 850 | RELEASE-NOTES-1.37 |
4474 | 850 850 | includes/ServiceWiring.php |
4475 | 850 850 | includes/language/ILanguageConverter.php |
4476 | 850 850 | includes/language/LanguageConverter.php |
4477 | 850 850 | includes/language/TrivialLanguageConverter.php |
4478 | 850 850 | includes/parser/Parser.php |
4479 | 850 850 | includes/parser/ParserFactory.php |
4480 | 850 850 | tests/phpunit/includes/parser/ParserTest.php |
4481 | 850 850 | tests/phpunit/languages/LanguageConverterTest.php |
4482 | 850 850 | tests/phpunit/unit/includes/parser/ParserFactoryTest.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);