use codeflask for user css editor

1 files changed, 3 insertions, 0 deletions

diff --git a/prefs.php b/prefs.php
index 3a5e792e4..372501524 100644
--- a/prefs.php
+++ b/prefs.php
@@ -59,6 +59,9 @@
 			packages: [
 				{ name: "lib", location: "../" },
 				{ name: "fox", location: "../../js" },
+			],
+			aliases: [
+				[ "codeflask", "lib/codeflask.min.js" ]
 			]
 		};
 	</script>