Remove wp-tinymce.js.gz from develop.svn, as this is now part of the build process.
see #25159 and [25188].