Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  01017b31f097152def52f05350a1758e4ada530e

Remove $ from wgExtensionCredits

Change-Id: I16e2fe834e1744f99f61238da44e00211458e706