From 6246631240f221f16fadc05358917c9151890d57 Mon Sep 17 00:00:00 2001
From: daarond <daarond@gmail.com>
Date: Tue, 19 May 2015 09:16:54 -0500
Subject: [PATCH] fixing constructor variable

---
 generators/php.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generators/php.js b/generators/php.js
index b9bb428bf..8155607b9 100644
--- a/generators/php.js
+++ b/generators/php.js
@@ -96,7 +96,7 @@ Blockly.PHP.init = function(workspace) {
 
   if (!Blockly.PHP.variableDB_) {
     Blockly.PHP.variableDB_ =
-        new Blockly.Names(Blockly.PHP.RESERVED_WORDS_);
+        new Blockly.Names(Blockly.PHP.RESERVED_WORDS_, true);
   } else {
     Blockly.PHP.variableDB_.reset();
   }