Last modified: 2009-02-08 21:57:13 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T19415, the corresponding Phabricator task for complete and up-to-date bug report information.
Bug 17415 - Move Special Page into "Media"
Move Special Page into "Media"
Status: RESOLVED FIXED
Product: MediaWiki extensions
Classification: Unclassified
BadImages (Other open bugs)
unspecified
All All
: Normal trivial (vote)
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2009-02-08 21:30 UTC by Techman224
Modified: 2009-02-08 21:57 UTC (History)
1 user (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Attachments
patch for moving special page into different category (1.83 KB, patch)
2009-02-08 21:30 UTC, Techman224
Details
Right file for patching (use the file and not the other one) (513 bytes, patch)
2009-02-08 21:48 UTC, Techman224
Details

Description Techman224 2009-02-08 21:30:39 UTC
Created attachment 5786 [details]
patch for moving special page into different category

This just moves Special:BadImages in Special:SpecialPages from the "Other" section into the Media reports and uploads section. I've also uploaded a file with the change. I've tested it on my test wiki and it works.
Comment 1 Techman224 2009-02-08 21:48:09 UTC
Created attachment 5787 [details]
Right file for patching (use the file and not the other one)

resubmitting patch (got it right).
Comment 2 Alexandre Emsenhuber [IAlex] 2009-02-08 21:57:13 UTC
fixed in r47020.

Note You need to log in before you can comment on or make changes to this bug.


Navigation
Links