WP Super Edit 2.5.1 release.

git-svn-id: https://plugins.svn.wordpress.org/wp-super-edit/trunk@991199 b8457f37-d9ea-0310-8a92-e5e31aec5664