file
11 rows where patch_id = 3776
This data as json, CSV (advanced)
id ▼ | patch_id | filename |
---|---|---|
18367 | 3776 3776 | brick/math/src/BigInteger.php |
18368 | 3776 3776 | brick/math/src/BigNumber.php |
18369 | 3776 3776 | brick/math/src/Exception/DivisionByZeroException.php |
18370 | 3776 3776 | brick/math/src/Exception/MathException.php |
18371 | 3776 3776 | brick/math/src/Internal/Calculator.php |
18372 | 3776 3776 | brick/math/src/Internal/Calculator/BcMathCalculator.php |
18373 | 3776 3776 | brick/math/src/Internal/Calculator/GmpCalculator.php |
18374 | 3776 3776 | brick/math/src/Internal/Calculator/NativeCalculator.php |
18375 | 3776 3776 | composer.json |
18376 | 3776 3776 | composer.lock |
18377 | 3776 3776 | composer/installed.json |
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);