]> git.lizzy.rs Git - micro.git/commitdiff
Merge pull request #1067 from sum01/issue-1066
authorZachary Yedidia <zyedidia@gmail.com>
Mon, 19 Mar 2018 04:32:07 +0000 (00:32 -0400)
committerGitHub <noreply@github.com>
Mon, 19 Mar 2018 04:32:07 +0000 (00:32 -0400)
Fix #1066 php syntax


Trivial merge