Last modified: 2007-11-23 15:43:09 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 T14075, the corresponding Phabricator task for complete and up-to-date bug report information.
Bug 12075 - Fix URL link in DefaultSettings.php
Fix URL link in DefaultSettings.php
Status: RESOLVED FIXED
Product: MediaWiki
Classification: Unclassified
Documentation (Other open bugs)
1.12.x
All All
: Low minor (vote)
: ---
Assigned To: Nobody - You can work on this!
: patch
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2007-11-23 15:35 UTC by Alexandre Emsenhuber [IAlex]
Modified: 2007-11-23 15:43 UTC (History)
0 users

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


Attachments
patch for DefaultSettings.php (423 bytes, patch)
2007-11-23 15:35 UTC, Alexandre Emsenhuber [IAlex]
Details

Description Alexandre Emsenhuber [IAlex] 2007-11-23 15:35:57 UTC
Created attachment 4365 [details]
patch for DefaultSettings.php

Documentation for configuration settings have been moved from Help: to Manual: namespace, this patch avoid redirect.
Comment 1 Raimond Spekking 2007-11-23 15:43:09 UTC
fixed with r27790.

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


Navigation
Links