file

16 rows where patch_id = 1865

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
8428 1865 1865 extension.json
8429 1865 1865 includes/CommentItem.php
8430 1865 1865 includes/CommentParser.php
8431 1865 1865 includes/ThreadItem.php
8432 1865 1865 modules/Parser.js
8433 1865 1865 modules/controller.js
8434 1865 1865 modules/dt.debug.js
8435 1865 1865 modules/dt.init.js
8436 1865 1865 modules/highlighter.js
8437 1865 1865 tests/phpunit/CommentModifierTest.php
8438 1865 1865 tests/phpunit/CommentParserTest.php
8439 1865 1865 tests/phpunit/CommentTestCase.php
8440 1865 1865 tests/phpunit/ThreadItemTest.php
8441 1865 1865 tests/qunit/ThreadItem.test.js
8442 1865 1865 tests/qunit/modifier.test.js
8443 1865 1865 tests/qunit/parser.test.js

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