Updated mediawiki/extensions
Project: mediawiki/extensions/RSS  9015cf8eec55904d76cf61f0b6c78e6b72f33c2b

RELEASE-NOTES version number fix

Change-Id: I4f7dc31dd5b2b8b46c297d5c9a3d12a98ff17d1d