https://bugzilla.wikimedia.org/show_bug.cgi?id=20982
Summary: ExtensionDistributor says extension doesn't exist
Product: MediaWiki extensions
Version: any
Platform: All
URL: http://www.mediawiki.org/wiki/Special:ExtensionDistribut
or/InputBox
OS/Version: All
Status: NEW
Severity: enhancement
Priority: Normal
Component: ExtensionDistributor
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
See link: The special page says the extension InputBox doesn't exist. When
searching for similar bugs, I saw bug
[https://bugzilla.wikimedia.org/show_bug.cgi?id=16423 16423] and bug
[https://bugzilla.wikimedia.org/show_bug.cgi?id=16424 16424]. Both don't apply
to extension InputBox
(http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/InputBox/) I don't
know why ExtensionDistributor thinks there is no extension with that name, but
perhaps someone will find out some day.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
