[PHP-DOC] revcheck.html.gz

[Jim Winstead]

during the automatic manual builds, revcheck.html will now always be
built (even when that particular translation fails to build), and will
be put in place on the mirrors as /manual/LANG/revcheck.html.gz

jim