I successfully installed mediawiki in one server just to test (mediawiki 1.30 , php 7, mysql 5.7, ubuntu0.16.04, apache). Among others I installed (I'm interested in) this extension: VisualEditor (parsoid server, restbase server).
Now, I would like to install mediawiki in a high availability environment but I have no experience on that. I think I could start by trying to use two servers for the application server and other two servers for mysql database, but I do not know which cluster software should I use for each.
In Mediawiki documentation I only find this documentation (to be configured in LocalSettings.php): Manual:$wgDBservers
I need a starting point, thanks in advance
Juanjo