It's one thing to have redundant extensions, it's another to have three different extensions (two of which have names differing by one letter) that are exactly the same thing, as in line-for-line they do the same exact thing.
*--* *Tyler Romeo* Stevens Institute of Technology, Class of 2015 Major in Computer Science www.whizkidztech.com | tylerromeo@gmail.com
On Thu, Feb 7, 2013 at 1:20 AM, Matthew Flaschen mflaschen@wikimedia.orgwrote:
On 02/07/2013 01:17 AM, Tyler Romeo wrote:
Yes, but we don't have to keep all three extension pages. As the
MediaWiki
community, don't we want to make things simpler for sysadmins? We can't force them to work together, but I don't see how keeping all three extensions on MW.org is useful.
I don't know if there's precedent for evicting extensions from MW.org. There are already warnings about two for storing code on the wiki.
Arguably, it's useful to have a complete directory, so people can search and have stuff categorized, even though some are redundant and/or low quality.
Matt
Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l