[wp-hackers] Updating Codex to newer MediaWiki version

[Johannes Ruthenberg]

Hi guys!

Bull3t schrieb am 08.12.2007 19:04:
> Updating PHP is not hard at all and updating MediaWiki is even easier,
> although I think that the Wiki the Codex uses currently needs to be
> drastically re-thought, it is useless and the search is crap. You even find
> pages that have not been created while searching.

Just wanted to emphasize this last point! It's really annoying, doing a 
search in the codex and getting empty pages ("This page has no content 
yet." or something like that) as half of the search results.

Greetings,
Johannes