Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  e9a81138288ab42d60cd5f3741761906f7c4cef0

Update gitignore

Change-Id: I84251c43c50fe417e61fde82cf83c0fdc36046fb