Page MenuHomePhabricator

PHP Notice for Language.php line 1245 if no date preference has been set
Closed, ResolvedPublic

Description

Author: olivier.mellinger

Description:
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 ='';


Version: 1.15.x
Severity: minor

Details

Reference
bz22876

Event Timeline

bzimport raised the priority of this task from to Medium.Nov 21 2014, 11:08 PM
bzimport set Reference to bz22876.
bzimport added a subscriber: Unknown Object (MLST).

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.