Updated mediawiki/extensions
Project: mediawiki/extensions/Duplicator  c39f5c56e11d825e609c378a628931a3b1f8f499

Allow to select whether to copy full page history.

Change-Id: Id9c9267b4b2d028c3b9a21f2cc3f6c5b5d868e2e