From 5c43809aaba8ea1e909856aca66a69eb84611097 Mon Sep 17 00:00:00 2001
From: Min RK <benjaminrk@gmail.com>
Date: Tue, 6 Aug 2019 23:00:41 +0200
Subject: [PATCH] Add missing react-dom js to package data (#4772)

This dependency was omitted when react was added, so it is not installed.

Closes #4771
---
 setupbase.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/setupbase.py b/setupbase.py
index 9a4c394bb..5a21cb500 100644
--- a/setupbase.py
+++ b/setupbase.py
@@ -150,6 +150,7 @@ def find_package_data():
         pjoin(components, "jquery-ui", "themes", "smoothness", "images", "*"),
         pjoin(components, "marked", "lib", "marked.js"),
         pjoin(components, "react", "react.production.min.js"),
+        pjoin(components, "react", "react-dom.production.min.js"),
         pjoin(components, "requirejs", "require.js"),
         pjoin(components, "requirejs-plugins", "src", "json.js"),
         pjoin(components, "requirejs-text", "text.js"),