Translating WordPress
WP Editor is a plugin for WordPress that replaces the default plugin and theme editors as well as the page/post editor.WordPress.org Plugin Page