On Mon, 11 Nov 2013, Jonathan Wiltshire wrote:
The mwenext/mwdisext tools take no account of locally installed (i.e.
non-packaged) extensions, so manual creation of symlinks is necessary.
These tools should check for a local extension first, and fall back
on /usr/share/... if there is none.
Package: mediawiki-extensions
Version: 2.11
Severity: wishlist
Hi,
The mwenext/mwdisext tools take no account of locally installed (i.e.
non-packaged) extensions, so manual creation of symlinks is necessary.
These tools should check for a local extension first, and fall back
on /usr/share/... if
2 matches
Mail list logo
