Thread:--MULLIGANACEOUS--/@comment-171752-20170605170621

Hello! I edited those messages to include the text that you provided. The full list of MediaWiki messages that are currently editable by admins can be found at Help:System messages/whitelist. As you can see at the end of the second paragraph, you can use the form at Special:Contact/feedback to state that you think those messages should be added to the whitelist. 