Update to MediaWiki 1.22.9
Update to MediaWiki 1.22.10
Update to MediaWiki 1.22.11
Update to MediaWiki 1.22.12
Update to MediaWiki 1.22.13
Merge branch 'master' into archfr