[FileJournal] Randomly prune old log entries.
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 7 Nov 2012 22:21:23 +0000 (14:21 -0800)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 9 Nov 2012 00:28:30 +0000 (00:28 +0000)
commit9dc6ffe9f9dfc583ee07368205b82c20fd5d1fef
treeb75952e056ad7e5823cb82e6e50c9323810b7bcc
parentb651a020e62a2510dc31c5e0e7f810e89228c930
[FileJournal] Randomly prune old log entries.

Change-Id: I667bfdaf167f2154d833b06de7115b4b292a0d2b
includes/filebackend/filejournal/DBFileJournal.php