Merge "Move up devunt's name to Developers"

[lhc/web/wiklou.git] / docs / doxygen_first_page.php

diff --git a/docs/doxygen_first_page.php b/docs/doxygen_first_page.php
index 11db1f5..77ae1dc 100644 (file)
--- a/docs/doxygen_first_page.php
+++ b/docs/doxygen_first_page.php
@@ -1,5 +1,5 @@
 <?php
-die("Not a valid entry point\n");
+die( "Not a valid entry point\n" );
 /**
  * This file does not hold any code. It is only there so we can generate
  * the doxygen documentation main page.
@@ -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
  */