Merge "mediawiki.mixins: Move .box-sizing mixin from mediawiki.ui utilities"
[lhc/web/wiklou.git] / wiki.phtml
1 <?php
2 // Stub file for compatibility with older versions of MediaWiki
3 include_once './index.php';