Wikipedia:Articles for deletion/Mediawiki Extensions list

The following discussion is an archived debate of the proposed deletion of the article below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.

The result was G7 by Discospinster, non-admin closure. Ten Pound Hammer and his otters • ^{(Broken clamshells • Otter chirps • HELP)} 17:07, 18 December 2008 (UTC)[reply]

Mediawiki Extensions list (edit | talk | history | protect | delete | links | watch | logs | views) (delete) – (View log)

What does "waste of space" fall under? Seriously, doesn't (and never will) constitute article material, and is far too detailed to be included within the MediaWiki article. Ironholds (talk) 13:31, 18 December 2008 (UTC)[reply]

• Delete. No evidence that mediawiki extensions in general are notable, so a complete list of them is useless. JulesH (talk) 13:39, 18 December 2008 (UTC)[reply]

The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.