Sommer macht dick

Ich werde gezwungen, den ganzen Abend lang Schokoladeneis zu essen, um mich abzukühlen.

So wird das nie was mit der Bikinifigur.

**schleck**

Mit nem Frosch gespielt…

…und die Augen gewonnen.

Oder, in anderen Worten: Guten Morgen, Welt!

Wie toll ist es eigentlich, dass man Regenbögen einfach selbst machen kann?
Die Welt rockt.

Feck WordPress’ hotkeys!

Case-sensitive MediaWiki

I just finished setting up a MediaWiki for WorldIRC. Page titles and user names should be fully case-sensitive (i.e., able to start with a lowercase letter). Unfortunately, MediaWiki doesn’t really support that out of the box. Googling didn’t yield any usable results. Finally, asking in the IRC channels got me on the right track: In your LocalSettings.php, add at the end:

$wgCapitalLinks = false;

To get case-sensitive usernames, but still allow case-insensitive logins, you need to patch the code.
Here’s my patch against the current stable 1.6 version (r14760):

Continue reading “Case-sensitive MediaWiki”