<?php

require_once '/srv/mediawiki/multiversion/activeMWVersions.php';
echo implode(' ', getActiveWikiVersions()) . "\n";
	<link rel="stylesheet" href="../css/base.css">
</head>
<body>

<p>Below is a selection of Wikimedia configuration files available for easy viewing.
	The files are dynamically generated and are perfectly up-to-date.
	Each of these files is also available in public version control in one of the following repositories:
</p>
<ul>
	<li><a href="https://phabricator.wikimedia.org/diffusion/OMWC/">operations/mediawiki-config.git</a></li>
	<li><a href="https://phabricator.wikimedia.org/diffusion/OPUP/">operations/puppet.git</a></li>
</ul>

<hr>
<p>Currently active MediaWiki versions: <?php 
echo implode(', ', getActiveWikiVersions());
?>
</p>
<hr>

<h2><img src="./images/source_php.png" alt=""> MediaWiki configuration</h2>
<ul>
<?php 
$viewFilenames = array_merge(glob(__DIR__ . '/*.php.txt'), glob(__DIR__ . '/{fc-list,langlist*,wikiversions*.json,extension-list*}', GLOB_BRACE), glob(__DIR__ . '/*.yaml.txt'));
outputFiles($viewFilenames);
?>
</ul>

<h3><img src="./images/document.png" alt=""> Database lists</h3>
<ul>
<?php