Update to MediaWiki 1.25.1

1 files changed, 33 insertions, 0 deletions

diff --git a/vendor/oojs/oojs-ui/Doxyfile b/vendor/oojs/oojs-ui/Doxyfile
new file mode 100644
index 00000000..cf831926
--- /dev/null
+++ b/vendor/oojs/oojs-ui/Doxyfile
@@ -0,0 +1,33 @@
+# Configuration file for Doxygen
+
+PROJECT_NAME           = OOjs UI
+PROJECT_BRIEF          = Object-Oriented JavaScript – User Interface
+
+OUTPUT_DIRECTORY       = docs
+HTML_OUTPUT            = php
+
+JAVADOC_AUTOBRIEF      = YES
+QT_AUTOBRIEF           = YES
+
+WARN_NO_PARAMDOC       = YES
+
+INPUT                  = README.md php/
+FILE_PATTERNS          = *.php
+RECURSIVE              = YES
+# Requires doxygen 1.8.3+
+USE_MDFILE_AS_MAINPAGE = README.md
+
+HTML_DYNAMIC_SECTIONS  = YES
+GENERATE_TREEVIEW      = YES
+TREEVIEW_WIDTH         = 250
+
+GENERATE_LATEX         = NO
+
+HAVE_DOT               = YES
+DOT_FONTNAME           = Helvetica
+DOT_FONTSIZE           = 10
+TEMPLATE_RELATIONS     = YES
+CALL_GRAPH             = NO
+CALLER_GRAPH           = NO
+# Makes dot run faster. Requires graphviz >1.8.10
+DOT_MULTI_TARGETS      = YES