file
10 rows where patch_id = 4557
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
21433 | 4557 4557 | tests/parserTests/comparisons.t |
21434 | 4557 4557 | tests/parserTests/lcase.t |
21435 | 4557 4557 | tests/parserTests/mwexamples-comparisons.t |
21436 | 4557 4557 | tests/parserTests/prec.t |
21437 | 4557 4557 | tests/parserTests/rcount.t |
21438 | 4557 4557 | tests/parserTests/rmdoubles.t |
21439 | 4557 4557 | tests/parserTests/rmspecials.t |
21440 | 4557 4557 | tests/parserTests/sanitize.t |
21441 | 4557 4557 | tests/parserTests/ucase.t |
21442 | 4557 4557 | tests/parserTests/wptest2.t |
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);