GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
sites/wiki/extensions.git
master
wikitest
wiki.gentoo.org: MediaWiki extensions
Gentoo Wiki <wiki@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
DisableAccount
/
.phan
/
config.php
blob: 76efd06de478f43b7dd99545d0dca601fec31ad0 (
plain
)
1
2
3
<?php
return
require
__DIR__
.
'/../vendor/mediawiki/mediawiki-phan-config/src/config.php'
;