Summary: I'm looking for people to discuss about the parsing of math.
Dear all,
I came up with a proposal for a new version of the rendering of the
tag. I proposed to use LaTeXML to convert the LaTeX expressions
in the math tag to MathML. If the browser is not capable of displaying
MathML I use
This was just posted on [[en:Wikepedia:Village Pump (technical)]]:
Hi,
I am the admin for an ISP and we are now deploying IPv6 to some customers
bits.wikimedia.org is failing over IPv6 from the the range 2a02:3d8::/32
the routing is broken upstream of our primary IPv6 provider between
tele2.n
On 10/14/2012 12:14 PM, Platonides wrote:
> As these look a bit like "shipping with ugly bugs", I have done a quick
> check of their severity:
Thank you so much for this. I'd like to get an assessment like this of
of these issues incorporated into the release notes. I think it will
better help p
This would be great to get into the mobile channel.
--tomasz
On Fri, Oct 12, 2012 at 11:35 AM, Arthur Richards
wrote:
> This sounds pretty cool and very handy. How often does the bot poll the RSS
> feeds? Is this configurable? I tried to answer my own questions by looking
> at the code, but all
On Sat, Oct 13, 2012 at 10:11 PM, Daniel Friesen wrote:
> We should probably update the documentation for $wgSecretKey however I'm
> not sure the best way to write it.
>
Leucosticte pasted your message into [1], which is a start.
> At the same time it's worth noting the warning about user_toke
I said I would lay out my thoughts regarding MW releases this weekend,
so here goes.
First: I want to provide a regular schedule so users know what to
expect, but something that a volunteer (me, for now) can achieve.
Second: I want to provide something that Linux distributors can
incorporate into
I do like the idea of a semiannual release. On a related note, I also think
we should have better plans on what is actually going to be in each
release. In other words, a site administrator should be able to know what
new features are planned for the next release before the actual release has
been
Release notes?
-Chad
On Oct 14, 2012 9:30 PM, "Tyler Romeo" wrote:
> I do like the idea of a semiannual release. On a related note, I also think
> we should have better plans on what is actually going to be in each
> release. In other words, a site administrator should be able to know what
> new
On Sun, 14 Oct 2012 17:31:03 -0700, S Page wrote:
On Sat, Oct 13, 2012 at 10:11 PM, Daniel Friesen
wrote:
We should probably update the documentation for $wgSecretKey however I'm
not sure the best way to write it.
Leucosticte pasted your message into [1], which is a start.
At the sam
MediaWiki Bugzilla Report for October 08, 2012 - October 15, 2012
Status changes this week
Bugs NEW : 380
Bugs ASSIGNED : 37
Bugs REOPENED : 40
Bugs RESOLVED
Thanks, Yury!
Scott
On Fri, Oct 12, 2012 at 2:30 PM, Yury Katkov wrote:
> Hi Scott!
>
> We will do our best to organize the live stream but at the moment there is
> no guarantee. In any case, we will record the video from the conference and
> make it available for everyone after the conferenc
The bot is polling rss every 20 seconds (likely a bit more, all RSS
feeds are parsed in one thread which is getting them synchronously -
so 20 sec + download time of all feeds)
The code is now on github https://github.com/benapetr/wikimedia-bot/
should be moved to wikimedia git some day
I can pu
12 matches
Mail list logo