mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-12-20 18:22:44 +00:00
1d9729491c
Other MediaWiki extensions use 'docs' as the Doxygen output directory. Bug: T27978 Change-Id: I14081f4fd74b6b76d58144563f95fc0f8f9aae95
35 lines
842 B
Plaintext
35 lines
842 B
Plaintext
# Configuration file for Doxygen
|
|
|
|
PROJECT_NAME = Thanks
|
|
PROJECT_BRIEF = "MediaWiki Thanks extension"
|
|
|
|
OUTPUT_DIRECTORY = docs
|
|
|
|
JAVADOC_AUTOBRIEF = YES
|
|
QT_AUTOBRIEF = YES
|
|
|
|
QUIET = YES
|
|
WARNINGS = YES
|
|
WARN_IF_UNDOCUMENTED = NO
|
|
WARN_IF_DOC_ERROR = NO
|
|
WARN_NO_PARAMDOC = NO
|
|
|
|
EXCLUDE = doc 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
|