Link to mediawiki.org using https from doxygen first page, not http

Change-Id: I13fe244e6122930731f144f97f27126339065481

diff --git a/docs/doxygen_first_page.php b/docs/doxygen_first_page.php
index 11db1f5..9949d13 100644 (file)
--- a/docs/doxygen_first_page.php
+++ b/docs/doxygen_first_page.php
@@ -13,7 +13,7 @@ die("Not a valid entry point\n");
  * Welcome on MediaWiki autogenerated documentation system.
  *
  * If you are looking to use, install or configure your wiki, you probably
- * want to look at the main site: http://www.mediawiki.org/
+ * want to look at the main site: https://www.mediawiki.org/
  *
  * @note this page is generated from docs/doxygen_first_page.php
  */