orschiro(a)googlemail.com wrote:
Hmm ok now we have located the problem but solving it
would imply
changing the source code of the extension right?
Right.
I mean it's a common problem, can I post it as a
bug somewhere?
robert
Sure.
https://bugzilla.wikimedia.org/