Updated mediawiki/extensions
Project: mediawiki/extensions/ArticleFeedbackv5  03fbe205764b6d9ddb9d2915819bea46a65eac13

re-introduce hide tool for monitors

... by taking it away from editors and replacing it with 'inappropriate'

Change-Id: I7ee9fc318a0c38058320d55ba5581fc538701aee