Just to let you know, the English Moodle Docs has been upgraded today and is now using MediaWiki version 1.13.5. Thanks, as always to Eloy, for applying our customisations and fixing any problems which have arisen.
If you come across any bugs in our upgraded Moodle Docs, please use MDLSITE-657 to report them. All being well, we hope to upgrade Moodle Docs in all other languages in 2-3 days time.