Make sure UI plugins are added (close #590)

w3c · Mar 2, 2016 · 15e7c4b · 15e7c4b
1 parent ff90192
commit 15e7c4b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/js/profile-w3c-common.js b/js/profile-w3c-common.js
@@ -54,7 +54,11 @@ define([
     "w3c/aria",
     "core/shiv",
     "core/remove-respec",
-    "core/location-hash"
+    "core/location-hash",
+    "ui/about-respec",
+    "ui/dfn-list",
+    "ui/save-html",
+    "ui/search-specref",
   ],
   function(domReady, runner, ui) {
     var args = Array.prototype.slice.call(arguments);