From bedd75c0c5e598c341e2c9080dddfa9efc1caf0d Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Sun, 25 Jan 2015 11:34:16 +0000
Subject: [PATCH] Couple more replacements of " with '

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

diff --git a/editor.php b/editor.php
index 02a30cb..1448d8b 100644
--- a/editor.php
+++ b/editor.php
@@ -32,11 +32,11 @@ if (file_exists(dirname(__FILE__)."/plugins/emmet/emmet.min.js")) {
 };?>
 <?php
 if (file_exists(dirname(__FILE__)."/plugins/pesticide/pesticide.js")) {
-	echo '<script src="plugins/pesticide/pesticide.js?microtime=".microtime(true)."></script>';
+	echo '<script src="plugins/pesticide/pesticide.js?microtime='.microtime(true).'"></script>';
 };?>
 <?php
 if (file_exists(dirname(__FILE__)."/plugins/stats.js/stats.min.js")) {
-	echo '<script src="plugins/stats.js/stats.min.js?microtime=".microtime(true)."></script>';
+	echo '<script src="plugins/stats.js/stats.min.js?microtime='.microtime(true).'"></script>';
 };?>
 <link rel="stylesheet" href="<?php
 if ($ICEcoder["theme"]=="default") {echo 'lib/editor.css';} else {echo $ICEcoder["codeMirrorDir"].'/theme/'.$ICEcoder["theme"].'.css';};