MediaWiki talk:Noexactmatch
Latest comment: 12 years ago by Mglovesfun in topic MediaWiki:Noexactmatch
This system message is not currently used. The current one is Mediawiki:Searchmenu-new.
See Wiktionary talk:Project-Nogomatch for previous discussions.
Deletion debate
editThe following information passed a request for deletion.
This discussion is no longer live and is left here as an archive. Please do not modify this conversation, but feel free to discuss its conclusions.
Both not used now that mediawiki uses MediaWiki:Searchmenu-new (see w:MediaWiki talk:Noexactmatch). I don't think there's anything of historical value to keep around. --Bequw → τ 04:14, 22 February 2010 (UTC)
- But who knows when they might switch back.—msh210℠ 15:39, 22 February 2010 (UTC)
- That's why there's an undelete. And judging from the little I know of mediawiki development they tend to change to wholly new identifiers rather than to previously deprecated ones. --Bequw → τ 19:00, 22 February 2010 (UTC)
- MediaWiki:Nogomatch (an even older deprecated message) now redirects to MediaWiki:Noexactmatch. Maybe both should redirect to MediaWiki:Searchmenu-new. --Bequw → τ 19:05, 22 February 2010 (UTC)
- After a bit more digging it seems that MediaWiki:Noexactmatch is a valid message (just not used) so it's fine to keep that. Wiktionary:Project-Nogomatch I think should still be deleted as MediaWiki:Nogomatch isn't even a valid system message anymore. --Bequw → τ 18:46, 26 February 2010 (UTC)
- Just out of curiosity, what is the benefit of deleting deprecated mediawiki messages? - [The]DaveRoss 19:01, 26 February 2010 (UTC)
- Generally, the burden of proof lies with keeping something (except of course in the User:). Obsolete files create confusion over what is valid as well as impede editors in finding and using the valid/useful files. --Bequw → τ 20:25, 27 February 2010 (UTC)
- Well these are mostly protected pages and when they are edited (extremely rarely) it is only by highly experienced users (admins). If there is actually some evidence of end users being affected by deprecated Mediawiki messages I would love to see it, otherwise this is just a waste of time and effort. - [The]DaveRoss 00:16, 3 March 2010 (UTC)
- Admins aren't necessarily always highly experienced in all aspects of Wiktionary. And no amount of experience will let you know when a message is obsolete, if all of that experience predates the obsolescence. If I see a bit of text in the interface, and I search the MediaWiki namespace for that bit of text, it's very unhelpful and confusing if I end up at an interface page that no longer does anything. I consider it a service if Bequw (or anyone else) is willing to go delete all these obsolete pages; that is the very best way to document that they're obsolete. —RuakhTALK 02:58, 3 March 2010 (UTC)
- Well these are mostly protected pages and when they are edited (extremely rarely) it is only by highly experienced users (admins). If there is actually some evidence of end users being affected by deprecated Mediawiki messages I would love to see it, otherwise this is just a waste of time and effort. - [The]DaveRoss 00:16, 3 March 2010 (UTC)
- Generally, the burden of proof lies with keeping something (except of course in the User:). Obsolete files create confusion over what is valid as well as impede editors in finding and using the valid/useful files. --Bequw → τ 20:25, 27 February 2010 (UTC)
- Just out of curiosity, what is the benefit of deleting deprecated mediawiki messages? - [The]DaveRoss 19:01, 26 February 2010 (UTC)
- Delete, it's certainly not "helping" anyone, so yes. Mglovesfun (talk) 11:46, 28 February 2010 (UTC)
- Well, it (or this discussion at least) helped me find what to update in another Wiki that had be broken since the change. I can't see it's doing that much damage being around. Most users won't even know it's there so deletion seems a little obsessive. ☸ Moilleadóir ☎ 16:54, 16 May 2010 (UTC)
Kept for no consensus, given the date of the last comment, should've been kept long ago. Mglovesfun (talk) 09:31, 28 March 2012 (UTC)