From d11ef35af089a6f234275755fb218bdc1811be3b Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Tue, 7 Jun 2016 16:13:23 -0400 Subject: [PATCH] Fix mediawiki name in comment. #1391. --- unpacked/extensions/TeX/mediawiki-texvc.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unpacked/extensions/TeX/mediawiki-texvc.js b/unpacked/extensions/TeX/mediawiki-texvc.js index e9174c49f..e31fdec21 100644 --- a/unpacked/extensions/TeX/mediawiki-texvc.js +++ b/unpacked/extensions/TeX/mediawiki-texvc.js @@ -2,7 +2,7 @@ * * MathJax/extensions/TeX/mediawiki-texvc.js * - * Implements macros used by Wikimedia with their texvc preprocessor. + * Implements macros used by mediawiki with their texvc preprocessor. * * --------------------------------------------------------------------- *