<div style="border:1px solid gray;margin:5px 2px 3px 2px;padding:1px;">
The wiki has been successfully updatedSite5 fixed an issue with MediaWiki and Zend Optimizer, but if you notice anything wrong drop me a line on my talk pageand all is well. Enjoy your holidaysThanks to them, and to Solra for hosting the mirror of the site while it was down! --[[User:Lemming|Lemming]]
</div>