MediaWiki:Wikieditor-toolbar-tool-replace-case/qqq

This could as well be translated as "case sensitive search" - "case" refers to character case, that is upper case, or lower case.