HomePhabricator

[BETA] Remove $wgDebugTimestamps override

Description

[BETA] Remove $wgDebugTimestamps override

See I09d1cb0d3f5b0b3 in MediaWiki. This is not blocked and does
not have to wait for that change as the defaut is false.

Change-Id: I9a072e12ba4119ba0cff384dcda79458aaefe4e5

Details

Provenance
KrinkleAuthored on Feb 24 2020, 1:01 PM
jenkins-botCommitted on Feb 24 2020, 5:08 PM
Parents
rOMWCd37b78aea52b: Remove outdated flaggedrevs.php comment
Branches
Unknown
Tags
Unknown
ChangeId
I9a072e12ba4119ba0cff384dcda79458aaefe4e5

Event Timeline