[Plugin: WP-CodeBox] WordPress Editor just keep lang attribut

Ok, I have change the line 125 by :
return preg_replace_callback("/\s*<pre(?:data\-code\-lang=[\"']([\w-]*)[\"']|data\-code\-file=[\"']([\w-]*\.?[\w-]*)[\"']|data\-code\-colla=[\"']([\+\-])[\"']|data\-code\-line=[\"'](\d*|n)[\"']|\s)+>(.*)<\/pre>\s*/siU", "wp_codebox_substitute", $content);
And the line 74 by :
$code = html_entity_decode(wp_codebox_code_trim($match[5]));

The second is a correction for the html entities, the first change the code : lang="xxx" colla="+" file="xxx" line="n" by data-code-lang="xxx" data-code-colla="+" data-code-file="xxx" line="n" So in this case, the parameters are saved and it’s valid html5.

Regards,
Greg