It's https://doc.php.net now, not just http: (#171)

Author: jimwins

docs/README.md

@@ -8,7 +8,7 @@ actively translated into many languages. This guide is designed for
 people who work on the official PHP documentation.
 
 The manual is built from the documentation using a tool called
-[PhD](http://doc.php.net/phd.php). The [local setup](local-setup.md)
+[PhD](https://doc.php.net/phd.php). The [local setup](local-setup.md)
 chapter explains how to set up a local development environment.
 
 The manual is written to the [DocBook 5.2](https://tdg.docbook.org/tdg/5.2/)

docs/translating.md

@@ -41,7 +41,7 @@ Otherwise, it needs to be synced.
 ## Updating translation of existing file
 Let's assume that you want to update the translation of `password_needs_rehash()`.
 One way to see which files require updating, and what has to be
-changed to sync with the English version, is to use the [doc.php.net tools](http://doc.php.net).
+changed to sync with the English version, is to use the [doc.php.net tools](https://doc.php.net).
 
 Choose your language from the right sidebar and then use the "Outdated files" tool.
 Filter files by directory or username (username used here comes from the `Mantainer`

scripts/check_phpdoc/view_check_phpdoc.php

@@ -21,7 +21,7 @@
  * @todo 
  * Add support for online doc editing
  * Add count of "perfect" functions
- * Get this on http://doc.php.net/
+ * Get this on https://doc.php.net/
  */
 
 $errors = array(

scripts/revcheck.php

@@ -820,8 +820,8 @@ function print_html_files( $enFiles , $trFiles , $lang )
         }
         $ll = strtolower( $lang );
         $kh = hash( 'sha256' , $key );
-        $d1 = "http://doc.php.net/revcheck.php?p=plain&lang={$ll}&hbp={$tr->hash}&f=$key&c=on";
-        $d2 = "http://doc.php.net/revcheck.php?p=plain&lang={$ll}&hbp={$tr->hash}&f=$key&c=off";
+        $d1 = "https://doc.php.net/revcheck.php?p=plain&lang={$ll}&hbp={$tr->hash}&f=$key&c=on";
+        $d2 = "https://doc.php.net/revcheck.php?p=plain&lang={$ll}&hbp={$tr->hash}&f=$key&c=off";
         $nm = "<a href='$d2'>{$en->name}</a> <a href='$d1'>[colored]</a>";
         if ( $en->syncStatus == FileStatusEnum::RevTagProblem )
             $nm = $en->name;