| Index: trunk/phase3/includes/cache/HTMLFileCache.php |
| — | — | @@ -116,10 +116,10 @@ |
| 117 | 117 | return !$wgShowIPinHeader && !$wgUser->getId() && !$wgUser->getNewtalk() && $ulang == $clang; |
| 118 | 118 | } |
| 119 | 119 | |
| 120 | | - /* |
| 121 | | - * Check if up to date cache file exists |
| 122 | | - * @param $timestamp string |
| 123 | | - */ |
| | 120 | + /** |
| | 121 | + * Check if up to date cache file exists |
| | 122 | + * @param $timestamp string |
| | 123 | + */ |
| 124 | 124 | public function isFileCacheGood( $timestamp = '' ) { |
| 125 | 125 | global $wgCacheEpoch; |
| 126 | 126 | |