Fix PGP viewing on old PHP versions

Not a bugfix branch, but might as well throw it in here if a bugfix is
released.