MediaWiki talk:Difference-title

This interface message or skin may be documented on MediaWiki.org or translatewiki.net.
The page forms part of the MediaWiki interface, and can only be edited by administrators and interface editors.
To request a change to the page, add {{edit fully-protected}} to this page, followed by a description of your request. Consider announcing discussions you add here at Wikipedia:Village pump (technical) to bring more people to the discussion.

Delete?

Anomie: we are already using MediaWiki 1.24wmf13. Shouldn't this message be deleted now, per Special:Diff/493764094? Helder.wiki 00:37, 22 July 2014 (UTC)[reply]

Someone unilaterally reverted the revision to MediaWiki that was referenced in that edit summary, so the default message is still the text that was overridden during the discussion in Wikipedia:Village pump (technical)/Archive 99#Yet MORE idiocy thrust on us?. That is presumably why no one has done the deletion, and why I'm not going to do so. Note if someone were to do this deletion, they should also delete MediaWiki:History-title and MediaWiki:Difference-title-multipage. Anomie ⚔ 11:00, 22 July 2014 (UTC)[reply]