Revision c039ef87f02c439073850300c19fd1631d02d92d

Committed on 19/12/2019 7:57 am by Gaetano Giunta <giunta.gaetano@gmail.com> [GitHub Diff]

improve php 7 bc doc (#1452)