<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2015-11-26 22:44 GMT+01:00 Jonas Maebe <span dir="ltr"><<a href="mailto:jonas.maebe@elis.ugent.be" target="_blank">jonas.maebe@elis.ugent.be</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="">On 26/11/15 22:39, Florian Klämpfl wrote:<br>
</span><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="">
Am 26.11.2015 um 22:31 schrieb Jonas Maebe:<br>
</span><span class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
It just got posted on Slashdot too:<br>
<a href="http://developers.slashdot.org/story/15/11/26/1544243/free-pascal-compiler-300-is-out-adds-support-for-16-bit-ms-dos-64-bit-ios" rel="noreferrer" target="_blank">http://developers.slashdot.org/story/15/11/26/1544243/free-pascal-compiler-300-is-out-adds-support-for-16-bit-ms-dos-64-bit-ios</a><br>
:) (it should appear on the front page soon)<br>
</blockquote>
<br>
Nice work :)<br>
<br>
But people should be now update their svn or download 3.0.0 before the servers get slashdotted :)<br>
</span></blockquote>
<br>
I mainly hope the wiki will survive :) Is there a way to temporarily put mediawiki in a static/read-only mode if necessary?<span class=""></span><br></blockquote></div><br></div><div class="gmail_extra">The wiki can be put in read-only mode by changing the $wgReadOnly variable in the LocalSettings.php file. Anonymous users get a static file from the cache, so no database trip is necessary for them.<br><br></div><div class="gmail_extra">Vincent<br></div></div>