jenkins-bot has submitted this change and it was merged. Change subject: Doxygen configuration ......................................................................
Doxygen configuration A basic configuration file for doxygen, copied from the Kartographer MediaWiki extension. Change-Id: Ic43e8869353c4e135674e9c000f64cae387445cc --- A Doxyfile 1 file changed, 31 insertions(+), 0 deletions(-) Approvals: Ladsgroup: Looks good to me, approved jenkins-bot: Verified diff --git a/Doxyfile b/Doxyfile new file mode 100644 index 0000000..91fbc39 --- /dev/null +++ b/Doxyfile @@ -0,0 +1,31 @@ +# Configuration file for Doxygen + +PROJECT_NAME = Wikibase +PROJECT_BRIEF = "MediaWiki Wikibase extension" + +OUTPUT_DIRECTORY = docs +HTML_OUTPUT = php + +JAVADOC_AUTOBRIEF = YES +QT_AUTOBRIEF = YES + +EXCLUDE = docs vendor node_modules + +FILE_PATTERNS = *.php +RECURSIVE = YES + +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 + -- To view, visit https://gerrit.wikimedia.org/r/317489 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic43e8869353c4e135674e9c000f64cae387445cc Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Aude <aude.w...@gmail.com> Gerrit-Reviewer: Daniel Kinzler <daniel.kinz...@wikimedia.de> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: Jonas Kress (WMDE) <jonas.kr...@wikimedia.de> Gerrit-Reviewer: Ladsgroup <ladsgr...@gmail.com> Gerrit-Reviewer: Lydia Pintscher <lydia.pintsc...@wikimedia.de> Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits