Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  bcef06d982a0a7e6f5adf995c2f3f14661752940

version update

* updated HISTORY, RELEASE-NOTES and version to 0.1.3

Change-Id: I01178665bf01b4549ed235d960eede983790ccab