id,patch_id,filename 12056,2388,extension.json 12057,2388,includes/ApiDiscussionTools.php 12058,2388,includes/ApiDiscussionToolsEdit.php 12059,2388,modules/CommentController.js 12060,2388,modules/controller.js 12061,2388,modules/dt.ui.ReplyWidget.js 12062,2388,modules/dt.ui.ReplyWidgetPlain.js 12063,2388,modules/dt.ui.ReplyWidgetVisual.js 12064,2388,modules/modifier.js