Tell us why you think the rating for “mediawiki-extension-codemirror” should be different. Sources help.