[wp-docs] codex spam

[Otto]

On Tue, Nov 9, 2010 at 2:55 AM, mrmist <listswpdocs at mist.org.uk> wrote:
>> Well, I determined that the protections are going into the database
>> correctly, they're just not showing up on the protected page lists in
>> MediaWiki, which suggests a core MW problem of some sort, or possibly
>> some extension breaking things.
>>
>> Still investigating it. Having to learn MediaWiki as well. It strikes
>> me as more than a little psychotic. ;)

Sorry this took so long. I finally learned enough about how MediaWiki
works to track down the issue.

Protecting pages on the codex should work now.

-Otto