Merge pull request #593 from w3c/BUG-590-Wont-Save

Make sure UI plugins are added (close #590)
w3c · Mar 2, 2016 · f1c073d · f1c073d
2 parents ff90192 + 15e7c4b
commit f1c073d
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);