diff options
| author | Gerry Weißbach <gerry.w@gammaproduction.de> | 2014-12-22 10:40:15 +0100 |
|---|---|---|
| committer | Gerry Weißbach <gerry.w@gammaproduction.de> | 2014-12-22 10:40:15 +0100 |
| commit | fc30ac3acbd4e17e25955ccdd0c5539ee2c9beca (patch) | |
| tree | 3d287ae466500a6072b84d14ff4911fa936d1479 /lib/exe/indexer.php | |
| parent | de4634ec87b1a277c1686990d993dafc43db05ed (diff) | |
| parent | 8da2ebf4f4261eb8f54df5704b5d9af283b5402d (diff) | |
| download | rpg-fc30ac3acbd4e17e25955ccdd0c5539ee2c9beca.tar.gz rpg-fc30ac3acbd4e17e25955ccdd0c5539ee2c9beca.tar.bz2 | |
Merge branch 'master' into new_css.php
Diffstat (limited to 'lib/exe/indexer.php')
| -rw-r--r-- | lib/exe/indexer.php | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/exe/indexer.php b/lib/exe/indexer.php index 3ab117736..89c4b7cd0 100644 --- a/lib/exe/indexer.php +++ b/lib/exe/indexer.php @@ -51,8 +51,9 @@ exit; /** * Trims the recent changes cache (or imports the old changelog) as needed. * - * @param media_changes If the media changelog shall be trimmed instead of - * the page changelog + * @param bool $media_changes If the media changelog shall be trimmed instead of + * the page changelog + * @return bool * * @author Ben Coburn <btcoburn@silicodon.net> */ @@ -83,7 +84,7 @@ function runTrimRecentChanges($media_changes = false) { io_saveFile($fn.'_tmp', ''); // presave tmp as 2nd lock $trim_time = time() - $conf['recent_days']*86400; $out_lines = array(); - + $old_lines = array(); for ($i=0; $i<count($lines); $i++) { $log = parseChangelogLine($lines[$i]); if ($log === false) continue; // discard junk |