Merge "Fix PHPDoc type hints in CacheTime, ParserOptions, and related"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Apr 2018 15:21:25 +0000 (15:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Apr 2018 15:21:25 +0000 (15:21 +0000)
commit28f07c0a7f6a16adfcc65cdab64eeeab6aba07b1
tree0aff07dabd6ac500934dfbacd57e6368e60a1a35
parentf8b2c0222d7c3b62b22bc42f8dc5e9eda9a1db71
parente6b6920cff7003b7aa3ed84bc1a3fc0861c9f022
Merge "Fix PHPDoc type hints in CacheTime, ParserOptions, and related"