From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Sun, 15 Apr 2018 08:44:34 +0000 (+0000)
Subject: Merge "phan: Provide stub for wikidiff2_inline_diff()"
X-Git-Tag: 1.31.0-rc.0~69
X-Git-Url: http://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=commitdiff_plain;h=719387f2e27ddc87205ac151c8337d97b63ae8fd

Merge "phan: Provide stub for wikidiff2_inline_diff()"
---

719387f2e27ddc87205ac151c8337d97b63ae8fd