Manpages of php7.2-cli in Debian testing