From 5b88f7172bede46146a9d18d974ab2c7a3781aca Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Tue, 28 Oct 2014 09:16:05 +0000
Subject: [PATCH] If stats.js plugin is available, load it

---
 editor.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/editor.php b/editor.php
index 4c52dca..d202382 100644
--- a/editor.php
+++ b/editor.php
@@ -34,6 +34,10 @@ if (file_exists(dirname(__FILE__)."/plugins/emmet/emmet.min.js")) {
 if (file_exists(dirname(__FILE__)."/plugins/pesticide/pesticide.js")) {
 	echo '<script src="plugins/pesticide/pesticide.js"></script>';
 };?>
+<?php
+if (file_exists(dirname(__FILE__)."/plugins/stats.js/stats.min.js")) {
+	echo '<script src="plugins/stats.js/stats.min.js"></script>';
+};?>
 <link rel="stylesheet" href="<?php
 if ($ICEcoder["theme"]=="default") {echo 'lib/editor.css';} else {echo $ICEcoder["codeMirrorDir"].'/theme/'.$ICEcoder["theme"].'.css';};
 $activeLineBG = array_search($ICEcoder["theme"],array("3024-day","base16-light","eclipse","elegant","neat","solarized","xq-light")) !== false ? "#ccc" : "#000";