id,patch_id,filename 13019,2565,extension.json 13020,2565,includes/ApiDiscussionTools.php 13021,2565,includes/ApiDiscussionToolsEdit.php 13022,2565,modules/CommentController.js 13023,2565,modules/controller.js 13024,2565,modules/dt.ui.ReplyWidget.js 13025,2565,modules/dt.ui.ReplyWidgetPlain.js 13026,2565,modules/dt.ui.ReplyWidgetVisual.js 13027,2565,modules/modifier.js 13028,2565,tests/phpunit/CommentModifierTest.php