file
9 rows where patch_id = 51863
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
234417 | 51863 51863 | includes/registration/ExtensionJsonValidator.php |
234418 | 51863 51863 | tests/phpunit/data/registration/bad_spdx.json |
234419 | 51863 51863 | tests/phpunit/data/registration/good.json |
234420 | 51863 51863 | tests/phpunit/data/registration/invalid.json |
234421 | 51863 51863 | tests/phpunit/data/registration/newer_manifest_version.json |
234422 | 51863 51863 | tests/phpunit/data/registration/no_manifest_version.json |
234423 | 51863 51863 | tests/phpunit/data/registration/notjson.txt |
234424 | 51863 51863 | tests/phpunit/data/registration/old_manifest_version.json |
234425 | 51863 51863 | tests/phpunit/includes/registration/ExtensionJsonValidatorTest.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);