Page MenuHomePhabricator

remove $configdate extra step in config/index.php
Closed, ResolvedPublic

Description

In config/index.php please compact

\$configdate = gmdate( 'YmdHis', @filemtime( FILE ) );
\$wgCacheEpoch = max( \$wgCacheEpoch, \$configdate );

to become just

\$wgCacheEpoch = max( \$wgCacheEpoch, gmdate( 'YmdHis', @filemtime( FILE ) ) );

as there is little point in using the extra variable "$configdate".


Version: unspecified
Severity: trivial

Details

Reference
bz12296

Event Timeline

bzimport raised the priority of this task from to Lowest.Nov 21 2014, 10:00 PM
bzimport set Reference to bz12296.
bzimport added a subscriber: Unknown Object (MLST).