From 15e7c4b55f435bcb4df42b15d3f14e72a9650f00 Mon Sep 17 00:00:00 2001
From: Marcos Caceres <marcos@marcosc.com>
Date: Thu, 3 Mar 2016 00:55:03 +1100
Subject: [PATCH] Make sure UI plugins are added (close #590)

---
 js/profile-w3c-common.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/js/profile-w3c-common.js b/js/profile-w3c-common.js
index 319b95ac8c..533be3f8b7 100644
--- 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);