Fix redirect to php.net/rev after doc.php.net changes