From: Junio C Hamano <redacted>
Date: Tue, 27 Oct 2020 22:09:46 +0000 (-0700)
Subject: Merge branch 'js/userdiff-php'
X-Git-Url: http://git.99rst.org/?a=commitdiff_plain;h=a8a49ebf61449f80d8c5ea2f9768f0ca590e51dd;p=git.git

Merge branch 'js/userdiff-php'

Userdiff for PHP update.

* js/userdiff-php:
  userdiff: PHP: catch "abstract" and "final" functions
---

a8a49ebf61449f80d8c5ea2f9768f0ca590e51dd