From 638c61e014f2cb8192548b6deade8af0f5181240 Mon Sep 17 00:00:00 2001
From: Vitalie Ciubotaru <vitalie@ciubotaru.tk>
Date: Tue, 21 Jan 2014 18:02:54 +0900
Subject: [PATCH] Update plugins-manager.php

PHP Notice:  Use of undefined constant plugins - assumed 'plugins' in /[removed]/_editor/lib/plugins-manager.php on line 176
---
 lib/plugins-manager.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/plugins-manager.php b/lib/plugins-manager.php
index db04650..3a61741 100644
--- a/lib/plugins-manager.php
+++ b/lib/plugins-manager.php
@@ -173,7 +173,7 @@ function deletePlugin($dir) {
 <a href="javascript:top.ICEcoder.showManual('<?php echo $ICEcoder["versionNo"];?>','writingPlugins')" style="position: absolute; top: 26px; right: 20px"><div style="padding: 10px; background: #333; color: #fff; font-size: 18px">Guide to writing plugins</div></a>
 <div style="display: inline-block; width: 760px; height: 340px; overflow-y: auto">
 	<?php
-	$plugins = $ICEcoder[plugins];
+	$plugins = $ICEcoder['plugins'];
 	if (count($plugins) > 0) {
 	?>
 	<div style="display: inline-block; width: 740px; margin-bottom: 30px">
@@ -240,4 +240,4 @@ function deletePlugin($dir) {
 
 </body>
 
-</html>
\ No newline at end of file
+</html>