Update to MediaWiki 1.19.0

1 files changed, 19 insertions, 0 deletions

diff --git a/docs/doxygen_first_page.php b/docs/doxygen_first_page.php
new file mode 100644
index 00000000..11db1f58
--- /dev/null
+++ b/docs/doxygen_first_page.php
@@ -0,0 +1,19 @@
+<?php
+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.
+ *
+ * @file
+ */
+
+/**
+ * @mainpage Introduction
+ *
+ * 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/
+ *
+ * @note this page is generated from docs/doxygen_first_page.php
+ */