script = <<id}"), { lineNumbers: true, mode: "text/x-php", extraKeys: { "Tab": function(cm){ cm.replaceSelection(" " , "end"); } } }); EOT; return parent::render(); } }