TinyMCE was, according to the authors website, rewritten for WordPress 3.9. Along with the rewrite, the name was also changed. It’s called WP Edit now. Here’s the link to the plugin page on WordPress:
This free Support Forum relies on contributions from our support staffs and fellow Graphene themes users. While we endeavour to provide adequate and timely support, due to its voluntary nature responses are not guaranteed and may be delayed.
If you require urgent assistance, you may like to consider our Priority Support option.