Add user and previous rev to HistoryRevisionTools, and user to DiffRevisionTools

[lhc/web/wiklou.git] / wiki.phtml

<?php
// Stub file for compatibility with older versions of MediaWiki
include_once './index.php';