HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/MWSearch…

Authored by IAlex.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MWSearch 9fb75e485d3ed6ea1aecda61a10916d3f8c67b4a null Remove usage of wfTime()

This function is only a wrapper to microtime( true ),
so it can easily be replaced and deprecated at some point.

Change-Id: Ib0504644d00c4905d08f3e64e6a2c6c66a309c2e

Details

Committed
Gerrit Code ReviewSep 6 2012, 6:38 PM
Parents
rMEXTf3e28c6d8ee2: Updated mediawiki/extensions Project: mediawiki/extensions/UploadWizard…
Branches
Unknown
Tags
Unknown
ChangeId
Ib0504644d00c4905d08f3e64e6a2c6c66a309c2e

Event Timeline