Merge "Make TitleInputWidget configurable, if term should be highlighted or not"
[lhc/web/wiklou.git] / wiki.phtml
1 <?php
2 // Stub file for compatibility with older versions of MediaWiki
3 include_once './index.php';