JS error "tinyMCE is not defined"

On phpMyFAQ start page, I've been greeted by the JS error "tinyMCE is not defined". This simple check should fix this.