Bug 943262 - Use CharsetMenu.jsm instead of charsetTitles.properties for Character Encoding menu items. r=bnicholson
Bug 943262 - Remove getCharsetTitle part of test_bug713519.js. r=gavin