https://bugzilla.wikimedia.org/show_bug.cgi?id=23190

--- Comment #7 from [email protected] 2010-04-16 06:25:07 UTC ---
Awesome, thanks! I'm looking forward to that update on wikipedia.

Now, would it also be possible to mark tex text as class="tex", equivalently to
what is done for PNG rendering?

I suppose the PHP output line should then be:
return ('<span class="tex">$ ' . str_replace( "\n", " ", htmlspecialchars(
$this->tex ) ) . ' $</span>');

Thanks again!

-- 
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.

_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to