In converting Special:Log to HTMLForm the `log-show-hide-{$type}` messages were changed to `logeventslist-{$type}-log`. This needs to be updated in a bunch of places and old messages need to be removed. From @matej_suchanek in T117737#4425857.
* [x] Remove `log-show-hide-{$type}` messages from core https://gerrit.wikimedia.org/r/445933
* [x] Update documentation in DefaultSettings https://gerrit.wikimedia.org/r/445933
* [] Add release notes for the change
* [] Maybe add some backwards-compatibility code to use the old messages if new ones are not defined?
* [] Fix extensions ( [[https://codesearch.wmflabs.org/search/?q=log-show-hide&i=nope&files=&repos=|Codesearch]] / [[ https://github.com/search?utf8=%E2%9C%93&q=log-show-hide%20org%3Awikimedia&type=Code | Github]] )
** [x] Thanks {T199645} https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Thanks/+/445857
** [x] FlaggedRevs https://gerrit.wikimedia.org/r/445934
** [] SemanticMediaWiki https://github.com/SemanticMediaWiki/SemanticMediaWiki/pull/3221
** [] Comments https://gerrit.wikimedia.org/r/445935
** [] MediaWikiChat https://gerrit.wikimedia.org/r/445936
** [x] ViewProtect https://github.com/hexmode/mediawiki-ViewProtect/pull/1
** [] BlueSpiceChecklist https://gerrit.wikimedia.org/r/445938
** [] BlueSpiceNamespaceManager https://gerrit.wikimedia.org/r/445943
** [] BlueSpicePageAccess https://gerrit.wikimedia.org/r/445944
** [] BlueSpicePermissionManager https://gerrit.wikimedia.org/r/445946
** [] BlueSpiceGroupManager https://gerrit.wikimedia.org/r/445947
** [] BlueSpicePageAssignments https://gerrit.wikimedia.org/r/445948