Merge "extension changed: php -> html" into devel
authorJunghyun Kim <jh0822.kim@samsung.com>
Thu, 6 Jul 2017 23:51:19 +0000 (23:51 +0000)
committerGerrit Code Review <gerrit@review.ap-northeast-2.compute.internal>
Thu, 6 Jul 2017 23:51:19 +0000 (23:51 +0000)

Trivial merge