Use lazyPush() instead of push() in a few places for jobs
authorAaron Schulz <aschulz@wikimedia.org>
Mon, 18 May 2015 17:26:53 +0000 (10:26 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Mon, 18 May 2015 17:31:24 +0000 (10:31 -0700)
commita17cdcbf5bac5453a7127482761bb3a8129de2ad
treea38ef92eaf8cffdbb66306190431cc1d00662dba
parent7e97ce6a4402edae8bd626a9a6aa39060095aa42
Use lazyPush() instead of push() in a few places for jobs

Change-Id: I56661ea29988e4ee217a63f4c3ffcb78333cc454
includes/deferred/HTMLCacheUpdate.php
includes/mail/EmailNotification.php
includes/page/WikiPage.php