file

14 rows where patch_id = 7547

✎ View and edit SQL

This data as json, CSV (advanced)

id ▼ patch_id filename
34101 7547 7547 .phan/config.php
34102 7547 7547 .phan/stubs/ArticleTopicFeature.php
34103 7547 7547 .phan/stubs/EventBus.php
34104 7547 7547 .phan/stubs/EventBusFactory.php
34105 7547 7547 .phan/stubs/EventFactory.php
34106 7547 7547 .phpcs.xml
34107 7547 7547 ServiceWiring.php
34108 7547 7547 extension.json
34109 7547 7547 includes/NewcomerTasks/AddLink/LinkRecommendation.php
34110 7547 7547 includes/NewcomerTasks/TaskType/NullTaskType.php
34111 7547 7547 includes/NewcomerTasks/TaskType/NullTaskTypeHandler.php
34112 7547 7547 includes/NewcomerTasks/Topic/OresBasedTopic.php
34113 7547 7547 includes/NewcomerTasks/Topic/RawOresTopic.php
34114 7547 7547 maintenance/refreshLinkRecommendations.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);