HomePhabricator

Merge "Fix varexists parsing and improve documentation"

Description

Merge "Fix varexists parsing and improve documentation"

Details

Provenance
jenkins-botAuthored on Aug 31 2018, 3:56 PM
Gerrit Code Review <gerrit@wikimedia.org>Committed on Aug 31 2018, 3:56 PM
Parents
rEVARba907c35c1fe: Merge "Improve type hints in PHPDoc tags"
rEVARe16e5b39e4f7: Fix varexists parsing and improve documentation
Branches
Unknown
Tags
Unknown
References
tag: v2.5.0
ChangeId
None

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rEVAR9bc37f29ceaf: Merge "Fix varexists parsing and improve documentation" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Aug 31 2018, 3:56 PM