Last modified: 2005-10-08 23:34:21 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 T5466, the corresponding Phabricator task for complete and up-to-date bug report information.
First Last Prev Next    This bug is not in your last search results.
Bug 3466 - Moving a page generates a "#redirect" not "#REDIRECT"
Moving a page generates a "#redirect" not "#REDIRECT"
Status: RESOLVED FIXED
Product: MediaWiki
Classification: Unclassified
Redirects (Other open bugs)
1.6.x
All All
: Normal trivial (vote)
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency tree / graph
 
Reported: 2005-09-14 22:11 UTC by Tomasz Wegrzanowski
Modified: 2005-10-08 23:34 UTC (History)
0 users

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

Attachments
Add an attachment (proposed patch, testcase, etc.)

Description Tomasz Wegrzanowski 2005-09-14 22:11:49 UTC 
"#REDIRECT" has been the standard for for most of wikipedia's existence,
but recently software is generating "#redirect" on page move instead.

While it's a minor stylistic issue, it would be better to use the same
form everywhere, as not to confuse users.
Comment 1 Brion Vibber 2005-09-15 01:47:23 UTC 
It used to be hardcoded, but now uses the actual first defined magic-word 
value for the redirect, which apparently is defined in lowercase form (but 
set as case-insensitive).
Comment 2 Ævar Arnfjörð Bjarmason 2005-10-08 23:34:21 UTC 
FIXED in CVS HEAD
Note You need to log in before you can comment on or make changes to this bug.
First Last Prev Next    This bug is not in your last search results.

Navigation
Links