<div dir="ltr">On Thu, Aug 22, 2013 at 7:13 AM, Tim Landscheidt <span dir="ltr"><<a href="mailto:tim@tim-landscheidt.de" target="_blank">tim@tim-landscheidt.de</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">Petr Bena <<a href="mailto:benapetr@gmail.com">benapetr@gmail.com</a>> wrote:<br>
<br>
> I figured out that there is no manual on how to configure mediawiki to<br>
</div>> use redis. [...]<br>
<br>
Then let's document this.<br>
<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div>+1. The answer to "documentation is missing" isn't "let's add some infrastructure that is". If there's critical documentation missing it should be added.<br>

<br></div><div>- Ryan<br></div></div></div></div>