Last modified: 2011-04-30 01:20:37 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 T24876, 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 22876 - PHP Notice for Language.php line 1245 if no date preference has been set
PHP Notice for Language.php line 1245 if no date preference has been set
Status: RESOLVED FIXED
Product: MediaWiki
Classification: Unclassified
General/Unknown (Other open bugs)
1.15.x
All All
: Normal minor (vote)
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency tree / graph
 
Reported: 2010-03-18 08:13 UTC by olivier.mellinger
Modified: 2011-04-30 01:20 UTC (History)
2 users (show)

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

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

Description olivier.mellinger 2010-03-18 08:13:03 UTC 
Notice index does not exists line 1245

Proposal replace :
###### ORIGINAL LINE #########
$datePreference = (string)$options['date'];
###### REPLACE BY ############
if(array_key_exists('date',$options))$datePreference = (string)$options['date'];
else $datePreference ='';
##############################
Comment 1 Niklas Laxström 2010-03-18 08:24:52 UTC 
Date is defined in $wgDefaultUserOptions in DefaultSettings.php, so it looks like yours is not up to date or is corrupted.

On a side note the code should probably use getDefaultOption instead of doing it manually.
Comment 2 Alexandre Emsenhuber [IAlex] 2010-03-27 16:15:58 UTC 
Fixed in r64263.
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