Is it possible to have mediawiki be high available? I have 2 servers and I would like to have it highly available in case 1 server goes down. Has anyone done this before? TIA