This port is a clone of www/mediawiki containing the new version 1.4. Not all users may change to the new wiki engine, so it seems to be a good choice to hold both versions in ports tree for a while.
If this is the exact same port but with modifications, should this not then first be a repocopy?
Am Samstag, 16. April 2005 21:20 schrieb Mark Linimon: > The following reply was made to PR ports/80001; it has been noted by GNAT= S. > > From: Mark Linimon <linimon@lonesome.com> > To: Gerrit Beine <tux@pinguru.net> > Cc: freebsd-gnats-submit@FreeBSD.org, > <freebsd-ports-bugs@FreeBSD.org> > Subject: Re: ports/80001: New port: www/mediawiki14 as a clone from > www/mediawiki Date: Sat, 16 Apr 2005 14:16:17 -0500 (CDT) > > If this is the exact same port but with modifications, should this not > then first be a repocopy? > Yes, I think that's the right way. It is a copy of the current mediawiki port and the only difference is the newer version. So long... Gerrit =2D-=20 Ich spul den Film zur=FCck Bis zu jeder Stelle, bis zu jenem Tag Als es noch nicht weg war Das Gl=FCck mail tux@pinguru.net icq 123851585 web http://arme-und-beine.de
State Changed From-To: open->feedback Would it make more sense to copy existing port to mediawiki13 and update mediawiki port to 1.4?
Responsible Changed From-To: freebsd-ports-bugs->pav Track
State Changed From-To: feedback->repocopy www/mediawiki -> www/mediawiki13
Responsible Changed From-To: pav->portmgr pav to handle, thanks
State Changed From-To: repocopy->open Repo-copy completed.
Responsible Changed From-To: portmgr->pav Repo-copy completed.
State Changed From-To: open->closed Committed, thanks!