file
9 rows where patch_id = 130316
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
663232 | 130316 130316 | tests/phpunit/integration/Variables/AbuseFilterProtectedVariablesLookupTest.php |
663233 | 130316 130316 | tests/phpunit/unit/FilterValidatorTest.php |
663234 | 130316 130316 | includes/Variables/AbuseFilterProtectedVariablesLookup.php |
663235 | 130316 130316 | includes/AbuseFilterPermissionManager.php |
663236 | 130316 130316 | tests/phpunit/integration/FilterValidatorTest.php |
663237 | 130316 130316 | tests/phpunit/unit/AbuseFilterPermissionManagerTest.php |
663238 | 130316 130316 | includes/FilterValidator.php |
663239 | 130316 130316 | includes/AbuseFilterServices.php |
663240 | 130316 130316 | includes/ServiceWiring.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);