file

13 rows where patch_id = 15045

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
71938 15045 15045 src/AnchorFormatter.php
71939 15045 15045 src/Cite.php
71940 15045 15045 src/ErrorReporter.php
71941 15045 15045 src/FootnoteMarkFormatter.php
71942 15045 15045 src/ReferenceStack.php
71943 15045 15045 src/ReferencesFormatter.php
71944 15045 15045 tests/phpunit/CiteIntegrationTest.php
71945 15045 15045 tests/phpunit/unit/AnchorFormatterTest.php
71946 15045 15045 tests/phpunit/unit/CiteErrorReporterTest.php
71947 15045 15045 tests/phpunit/unit/CiteUnitTest.php
71948 15045 15045 tests/phpunit/unit/FootnoteMarkFormatterTest.php
71949 15045 15045 tests/phpunit/unit/ReferenceStackTest.php
71950 15045 15045 tests/phpunit/unit/ReferencesFormatterTest.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);