From b8bac4dec6cd3cc8a480c08da286887e0a5c1ccb Mon Sep 17 00:00:00 2001 From: Platonides Date: Sun, 22 May 2011 22:10:08 +0000 Subject: [PATCH] /* to /** --- includes/cache/HTMLFileCache.php | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/includes/cache/HTMLFileCache.php b/includes/cache/HTMLFileCache.php index 4b3ef2766c..31d92ff843 100644 --- a/includes/cache/HTMLFileCache.php +++ b/includes/cache/HTMLFileCache.php @@ -116,10 +116,10 @@ class HTMLFileCache { return !$wgShowIPinHeader && !$wgUser->getId() && !$wgUser->getNewtalk() && $ulang == $clang; } - /* - * Check if up to date cache file exists - * @param $timestamp string - */ + /** + * Check if up to date cache file exists + * @param $timestamp string + */ public function isFileCacheGood( $timestamp = '' ) { global $wgCacheEpoch; -- 2.20.1