The demo wiki needs to its PHP upgraded to 7.2.22 to run MediaWiki 1.35. It looks like this requires a newer version of Debian, at least to do it easily. The one we're running now is deprecated so it's probably just as well. We need to figure out how to easiest migrate the current wiki (settings, content and whatnot).
Description
Related Objects
Event Timeline
This time around we should document the steps for backing-up the wiki and anything else on the machine we wish to retain
I'm having troubles following the guide at https://wikitech.wikimedia.org/wiki/Help:MediaWiki-Vagrant_in_Cloud_VPS. Step 8 gives NFS errors and vagrant destroy -f doesn't help.
I asked about this on IRC and was advised to post on the cloud VPS mailing list, which I did.
I got help on the mailing list, but still can't get it to work. Apparently Vagrant isn't very stable. It may be an idea to try setting up the wiki without Vagrant.
I've manually installed a MediaWiki on https://wikispeech-wiki-dev.wmcloud.org/ with Wikispeech pointing at the speechoid-dev.
It lives in /var/www/html/mediawiki on core master (1.36.x) using a LAMP-installation with an extra memcached. All passwords etc is stored in ~root/passwords.txt
@Jopparn, please don't remove tasks from my personal workboard. I makes me confused when I come back after vacation and can't find tasks.
Hmm, I don't remember doing this action. I might have accidentally pressed the "x" on your tag when adding "User-kalle". Mea culpa.
Try installing with Vagrant again, using the new instructions. If it still doesn't work, use the non-Vagrant installation for now.
Regardless, migrate content and configs to the new installation.
Well, I just tried installing with Vagrant now and it worked (no need for the new instructions). I guess something was fixed in the last couple of months.
Now the database and the settings have been migrated to the new installation. Images have been copied too, but don't show up for some reason.