Merge "Add an refresh probability comment to worthRefreshPopular()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Jan 2017 21:42:09 +0000 (21:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Jan 2017 21:42:09 +0000 (21:42 +0000)
commit8b3265736f62ec04dd6b2033b364bbbe4501dbae
tree5f8ac1417c40e4cd43ffa35e46fd1946d1f9dafb
parentc5e41e5f942c16b30c39d6ad87cd07197212b379
parentb0e0f6e3b37ce5f64881f6da7e7380c682f019e2
Merge "Add an refresh probability comment to worthRefreshPopular()"
includes/libs/objectcache/WANObjectCache.php