Siebrand has uploaded a new change for review.
https://gerrit.wikimedia.org/r/95817
Change subject: Update some documentation in CacheTime and ParserCache
......................................................................
Update some documentation in CacheTime and ParserCache
Change-Id: I31be0d4639f2a7189e15b622b34595564fad2a3d
---
M includes/parser/CacheTime.php
M includes/parser/ParserCache.php
2 files changed, 8 insertions(+), 4 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/17/95817/1
diff --git a/includes/parser/CacheTime.php b/includes/parser/CacheTime.php
index 8190a8a..a4203b0 100644
--- a/includes/parser/CacheTime.php
+++ b/includes/parser/CacheTime.php
@@ -27,6 +27,10 @@
* @ingroup Parser
*/
class CacheTime {
+ /** @var array|bool ParserOptions which have been taken into account to
+ * produce output or false if not available.
+ */
+ public $mUsedOptions;
var $mVersion = Parser::VERSION, # Compatibility check
$mCacheTime = '', # Time when this object was
generated, or -1 for uncacheable. Used in ParserCache.
diff --git a/includes/parser/ParserCache.php b/includes/parser/ParserCache.php
index 7053f13..7043b4a 100644
--- a/includes/parser/ParserCache.php
+++ b/includes/parser/ParserCache.php
@@ -220,10 +220,10 @@
}
/**
- * @param $parserOutput ParserOutput
- * @param $article Article
- * @param $popts ParserOptions
- * @param $cacheTime Time when the cache was generated
+ * @param ParserOutput $parserOutput
+ * @param Article $article
+ * @param ParserOptions $popts
+ * @param string $cacheTime Time when the cache was generated
*/
public function save( $parserOutput, $article, $popts, $cacheTime =
null ) {
$expire = $parserOutput->getCacheExpiry();
--
To view, visit https://gerrit.wikimedia.org/r/95817
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I31be0d4639f2a7189e15b622b34595564fad2a3d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Siebrand <siebr...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
