Manual talk:$wgUseTeX

Version number 1.18 ??
On the main media wiki page, the most recent media wiki version is 1.17.0. Why does the documentation refer to 1.18, which does not yet exist? (Florian.Marquardt@physik.uni-erlangen.de) —The preceding unsigned comment was added by 77.7.37.82 (talk • contribs). Please sign your posts with ~ !
 * Because 1.18 is already in development. Max Semenik 09:41, 30 July 2011 (UTC)