Hi,
I ran
|git clone https://github.com/wikimedia/mediawiki-extensions-WikiEditor.git%7C
and removed the contents of the existing folder //localhost/extensions/WikiEditor/ in my local Wiki installation replacing it with the contents of the Github download. I noticed WikiEditor quit working then so I ran the update script in the hope of getting it to work again:
||php update.php
and now WikiEditor isn't working (i.e., it isn't showing in the edit window). This (http://i.imgur.com/9nQvBry.png) is a screenshot showing the Chrome JavaScript console when viewing an edit page (i.e., one with ?action=edit in the address bar). Edittools isn't showing either (i.e., the box containing insertable symbols [enabled by the charinsert extension below the edit box), if any further info is required for you to help me with this problem, please ask. If you want a ngrok tunnel opened please do ask and I'll open it as soon as I see the message (and I will send a reply confirming this), it's just odds are it'll only be possible for me to open it for a few hours at a time so if you ask me be prepared to do all you need with it immediately after sending the request for me to open it.
Thanks for your time, Brenton