(bug 5409) Hide "show/hide patrolled edits" in Special:Recentchanges if patrolling...
[mediawiki.git] / wiki.phtml
blob5f6b019965b6e023e8c4c6fa2656e6866fe87014
1 <?php
2 // stub file for compatibility with older versions
3 include_once('./index.php');
4 ?>