Thread:Extension talk:VisualEditor/VisualEditor won't open on live site when using Refreshed skin

I'm copying this message from a friend, User:MtMNC, who tried to post it here but it wouldn't go through (don't know why). The following is his message:

Hi! I help develop Skin:Refreshed and we're trying to make it compatible with VisualEditor. I have a copy of MediaWiki 1.24.2 on my localhost with Refreshed and the appropriate version of VisualEditor (0.1.0) installed, and VisualEditor works as expected. VisualEditor is also installed on a live development wiki here with the same versions of Refreshed and MediaWiki as my localhost. When you use VisualEditor on the live wiki, it opens as expected if you use Vector (see here), but it doesn't open if you use Refreshed (see here). VisualEditor seems to be installed correctly since it works as expected on Vector. It also doesn't seem to be an issue with  as both the "edit" and "edit source" buttons appear on Refreshed, which seems to suggest Refreshed has VisualEditor enabled. I've noticed there's a load.php script present when you view the page in Vector that isn't there when you view it in Refreshed--maybe that's the issue? In which case, why would that script be loaded in one skin and not another, and why would VisualEditor work fine on my localhost but not on the live site?

If it helps, here's the LocalSettings.php file for the live site (VisualEditor is set up at the very bottom).

Any insights greatly appreciated!