fix doc

Change-Id: Ifc618b97070b902ddd6d4a195a6449bc43abc6fc
Merge branch 'master' of ssh://review/mediawiki/extensions/Diff into fixdoc