//home/develito/httpdocs/media/editors/codemirror/lib/addons.js
Coder : AnonymousFox