nitdoc: move filtering facilities to its own plugin file

[nit.git] / share / nitdoc / js / nitdoc.js

diff --git a/share/nitdoc/js/nitdoc.js b/share/nitdoc/js/nitdoc.js
index f064863..dc2e12d 100644 (file)
--- a/share/nitdoc/js/nitdoc.js
+++ b/share/nitdoc/js/nitdoc.js
@@ -14,7 +14,7 @@ require.config({
 define([
        "plugins/folding",
        "plugins/clipboard",
-       "plugins/ui",
+       "plugins/filtering",
        "plugins/quicksearch",
        "plugins/github",
 ], function() {});