mediawiki Extension:RT for mysql