Date: Mon, 31 Mar 2008 02:46:57 +0200 (CEST) From: Rob Evers <rob@debank.tv> To: FreeBSD-gnats-submit@FreeBSD.org Cc: gerrit.beine@gmx.de Subject: ports/122277: missing php-dom extension after upgrade Message-ID: <200803310046.m2V0kvAs069452@flappie.debank.tv> Resent-Message-ID: <200803310050.m2V0o1fo034404@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 122277 >Category: ports >Synopsis: missing php-dom extension after upgrade >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: sw-bug >Submitter-Id: current-users >Arrival-Date: Mon Mar 31 00:50:01 UTC 2008 >Closed-Date: >Last-Modified: >Originator: Rob Evers >Release: FreeBSD 6.3-STABLE amd64 >Organization: >Environment: System: FreeBSD flappie.debank.tv 6.3-STABLE FreeBSD 6.3-STABLE #0: Mon Mar 3 06:19:14 CET 2008 root@flappie.debank.tv:/usr/obj/usr/src/sys/FLAPPIE amd64 >Description: missing php-dom extension after upgrade from 1.11 to 1.12 >How-To-Repeat: Upgrade mediawiki from 1.11 to 1.12 >Fix: apply this patch 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 @@ 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 >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200803310046.m2V0kvAs069452>