mediawiki-extensions-Math/math/tex.mli

type t =
      TEX_LITERAL of Render_info.t
    | TEX_CURLY of t list
    | TEX_FQ of t * t * t
    | TEX_DQ of t * t
    | TEX_UQ of t * t
    | TEX_FQN of t * t
    | TEX_DQN of t
    | TEX_UQN of t
    | TEX_LR of Render_info.t * Render_info.t * t list
    | TEX_BOX of string * string
    | TEX_BIG of string * Render_info.t
    | TEX_FUN1 of string * t
    | TEX_FUN2 of string * t * t
    | TEX_FUN2nb of string * t * t
    | TEX_INFIX of string * t list * t list
    | TEX_FUN2sq of string * t * t
    | TEX_FUN1hl  of string * (string * string) * t
    | TEX_FUN1hf  of string * Render_info.font_force * t
    | TEX_FUN2h  of string * (t -> t -> string * string * string) * t * t
    | TEX_INFIXh of string * (t list -> t list -> string * string * string) * t list * t list
    | TEX_MATRIX of string * t list list list
    | TEX_DECLh  of string * Render_info.font_force * t list
Initial stab at breaking math/texvc out to Math extension. * (bug 14202) $wgUseTeX has been superseded by the Math extension. To re-enable math conversion after upgrading, obtain the Math extension from SVN or from http://www.mediawiki.org/wiki/Extension:Math and add to LocalSettings.php: require_once "$IP/extensions/Math/Math.php"; This is an initial stab, and a few things remain to be cleaned up: * messages need to be moved from core to extension * MW_MATH_* constants should be moved to the extension from core * old back-compat math names interfaces using those constants should be removed from message files * classic edit toolbar's math button should be added from the extension (or else dropped) -- currently there's not a clean hook, but could do it by JS * couple of things like the 'armourMath' function on Language & LanguageConverter may want to be redone just as an unconditional, if that's simpler. Setting $wgUseTeX alone will no longer have any affect. The var's still there for the moment as a few bits still need to be fully moved out from core. 2011-04-09 00:39:40 +00:00			`type t =`
			`TEX_LITERAL of Render_info.t`
			`\| TEX_CURLY of t list`
			`\| TEX_FQ of t * t * t`
			`\| TEX_DQ of t * t`
			`\| TEX_UQ of t * t`
			`\| TEX_FQN of t * t`
			`\| TEX_DQN of t`
			`\| TEX_UQN of t`
			`\| TEX_LR of Render_info.t * Render_info.t * t list`
			`\| TEX_BOX of string * string`
			`\| TEX_BIG of string * Render_info.t`
			`\| TEX_FUN1 of string * t`
			`\| TEX_FUN2 of string * t * t`
			`\| TEX_FUN2nb of string * t * t`
			`\| TEX_INFIX of string * t list * t list`
			`\| TEX_FUN2sq of string * t * t`
			`\| TEX_FUN1hl of string * (string * string) * t`
			`\| TEX_FUN1hf of string * Render_info.font_force * t`
			`\| TEX_FUN2h of string * (t -> t -> string * string * string) * t * t`
			`\| TEX_INFIXh of string * (t list -> t list -> string * string * string) * t list * t list`
			`\| TEX_MATRIX of string * t list list list`
			`\| TEX_DECLh of string * Render_info.font_force * t list`