Code Error in document.parser.class.inc.php?

if(!$this->recordCount($result)==1) {
$row = $this->fetchRow($result);
$pluginCode = $this->pluginCache[$row[’name’]] = $row[’plugincode’];
$pluginProperties = $this->pluginCache[$row[’name’]."Props"] = $row[’properties’];
} else {
$pluginCode = $this->pluginCache[$pluginName] = "return false;";
$pluginProperties = ’’;
}

I’m not realy sure but is that bold line correct?
I think correctly it should be:
if($this->recordCount($result)){

hope you can help me. Coz that line is the reason y my editor doesen’t work.

greets Michael

This is already a reported bug in the bugtracker and has been fixed for the 0.9.5 release.

EDIT: I was thinking of snippets for a minute there - actually, this hasn’t been corrected for plugins, good catch! Can you log it in the bugtracker please.