[wp-docs] Why am I able to download the codex index.php file?

[spencerp]

I'm trying to update something on the Codex, but when I click the [edit] 
option, it gives me the option to download the index.php file.. ?  =/

Is some general maintance being done over there now or something.. ?  Or is 
it just in a rare mood at the moment.. =p

spencerp 

_______________________________________________
wp-docs mailing list
wp-docs@lists.automattic.com
http://lists.automattic.com/mailman/listinfo/wp-docs