Codes Broken After Using Bulk Edit

To re-produce:

1- Create a post with some HTML codes inside the content.
2- Use the bulk-edit and do anything.
3- View the post again.

This happens because the double encode in encode_shortcode_contents_callback() function.

a patch text to fix the bug:
http://pastebin.com/G5Y5NEeM

http://wordpress.org/extend/plugins/syntaxhighlighter/