ports/122277: missing php-dom extension after upgrade

[Rob Evers]

>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 at 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: