MediaWiki display name now uses localization.

2009-09-14 22:16:24 +00:00
parent dde6838ad6
commit 300ff173db
1 changed files with 1 additions and 1 deletions
--- a/libraries/export/mediawiki.php
+++ b/libraries/export/mediawiki.php
@@ -12,7 +12,7 @@ if (! defined('PHPMYADMIN')) {

 if (isset($plugin_list)) {
    $plugin_list['mediawiki'] = array(
-        'text' => 'MediaWiki',
+        'text' => 'strMediaWiki',
        'extension' => 'txt',
        'mime_type' => 'text/plain',
        'options' => array(