MediaWiki update complete

by Yuriy Andamasov

MediaWiki has been updated successfully, in the end. It didn't exactly go smoothly, but it appears to work normally now.

Let us know if you spot any issues.