Updated mediawiki/extensions
Project: mediawiki/extensions/ApprovedRevs  9498608386951ed20dd0f38f66053d11d98bf1b9

Small fix for logic in setArticleHeader(), and improved that method's comments

Change-Id: I020fbae5c0f368be7b6211353ff417d76c72b4c3