file

7 rows where patch_id = 15041

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
71917 15041 15041 extension.json
71918 15041 15041 src/Cite.php
71919 15041 15041 src/Hooks/CiteParserHooks.php
71920 15041 15041 src/Hooks/CiteParserTagHooks.php
71921 15041 15041 src/ReferenceStack.php
71922 15041 15041 tests/phpunit/unit/CiteParserHooksTest.php
71923 15041 15041 tests/phpunit/unit/ReferenceStackTest.php

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options: 

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);