missing php-dom extension after upgrade from 1.11 to 1.12 Fix: apply this patch CONFLICTS= mediawiki-1.[0-9].* mediawiki-1.1[0-13-9].* -USE_PHP= iconv mbstring pcre session xml zlib readline +USE_PHP= iconv mbstring pcre session xml zlib readline dom IGNORE_WITH_PHP= 4 WANT_PHP_WEB= yes MEDIAWIKIDIR?= www/mediawiki--08vMC6RC3tJSoKkHp80ZfWxyOwhFriMZIP2naXuIas77N9Ba Content-Type: text/plain; name="file.diff" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="file.diff" diff -ruN mediawiki.orig/Makefile mediawiki/Makefile --- mediawiki.orig/Makefile 2008-03-30 01:17:31.000000000 +0100 +++ mediawiki/Makefile 2008-03-31 02:43:22.000000000 +0200 @@ -15,7 +15,7 @@ How-To-Repeat: Upgrade mediawiki from 1.11 to 1.12
State Changed From-To: open->feedback Awaiting maintainers feedback (via the GNATS Auto Assign Tool)
Responsible Changed From-To: freebsd-ports-bugs->beech I'll take it
beech 2008-04-16 06:03:37 UTC FreeBSD ports repository Modified files: www/mediawiki Makefile Log: - Add missing php-dom extension PR: ports/122277 Submitted by: Rob Evers <rob@debank.tv> Approved by: maintainer timeout (> two weeks) Revision Changes Path 1.44 +1 -1 ports/www/mediawiki/Makefile _______________________________________________ cvs-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
State Changed From-To: feedback->closed Committed (maintainer timeout), Thanks!