On Mon, 8 Apr 2013, Filipus Klutiero wrote:
It seems easy to workaround by modifying that file to support a double
inclusion.
Probably.
mediawiki-extensions-base currently provides 2 extensions which provide
Special:Interwiki: the old extension, SpecialInterwiki, and the new extension,
On Fri, 5 Apr 2013, Philippe Cloutier wrote:
And, for what’s worth, I’m obviously against any
non-backwards-compatible changes in that manner…
I don't see which backwards-incompatibility you have in mind.
Such as requiring changes to existing LocalSettings-esque files
by moving the
On 2013-04-08 03:24, Thorsten Glaser wrote:
On Fri, 5 Apr 2013, Philippe Cloutier wrote:
And, for what’s worth, I’m obviously against any
non-backwards-compatible changes in that manner…
I don't see which backwards-incompatibility you have in mind.
Such as requiring changes to existing
2013/4/2 Thorsten Glaser t.gla...@tarent.de
On Thu, 28 Mar 2013, Filipus Klutiero wrote:
There's a very simple solution to that which would solve even more
problems. Unfortunately, it requires a larger change.
Well, let’s just not do that right now.
The upgrade to 1.19 was on very short
On Thu, 28 Mar 2013, Filipus Klutiero wrote:
There's a very simple solution to that which would solve even more
problems. Unfortunately, it requires a larger change.
Well, let’s just not do that right now.
The upgrade to 1.19 was on very short notice already,
and, IIRC, Jonathan wanted to
On 2013-03-25 05:43, Thorsten Glaser wrote:
tags 703852 + pending
thanks
On Sun, 24 Mar 2013, Filipus Klutiero wrote:
The scripts mwenext and mwdisext are supposed to respectively enable and
disable a MediaWiki extension. But this doesn't work anymore on new installs
following
Package: mediawiki
Version: 1:1.19.4-1
Severity: serious
X-Debbugs-Cc: j...@debian.org
This issue comes from a change in the mediawiki package, but affects
mediawiki-extensions.
The scripts mwenext and mwdisext are supposed to respectively enable and
disable a MediaWiki extension. But this
tags 703852 + pending
thanks
On Sun, 24 Mar 2013, Filipus Klutiero wrote:
The scripts mwenext and mwdisext are supposed to respectively enable and
disable a MediaWiki extension. But this doesn't work anymore on new installs
following
8 matches
Mail list logo