jenkins-bot has submitted this change and it was merged.
Change subject: Replace use of gmdate with wfTimestamp
......................................................................
Replace use of gmdate with wfTimestamp
Change-Id: Id9be5d636c04b9500f153531abb660af3644f90d
---
M WhosOnlineSpecialPage.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Addshore: Looks good to me, approved
jenkins-bot: Verified
diff --git a/WhosOnlineSpecialPage.php b/WhosOnlineSpecialPage.php
index ef5f7e3..c1c9670 100644
--- a/WhosOnlineSpecialPage.php
+++ b/WhosOnlineSpecialPage.php
@@ -113,7 +113,7 @@
$db = wfGetDB( DB_MASTER );
$db->selectDB( $wgDBname );
- $old = gmdate( 'YmdHis', time() - 3600 );
+ $old = wfTimestamp( TS_MW, time() - 3600 );
$db->delete( 'online', array( 'timestamp < "' . $old . '"' ),
__METHOD__ );
$this->setHeaders();
--
To view, visit https://gerrit.wikimedia.org/r/175013
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id9be5d636c04b9500f153531abb660af3644f90d
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/WhosOnline
Gerrit-Branch: master
Gerrit-Owner: Southparkfan <southparkfan...@hotmail.com>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Qgil <q...@wikimedia.org>
Gerrit-Reviewer: Southparkfan <southparkfan...@hotmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
