mediawiki depends on obsolete php5-dba

[micrology]

Trying to install mediawiki, port lists the dependencies as including php5-dba, but that generates an error (see below).

bash-3.2# port install mediawiki
--->  Computing dependencies for mediawiki
--->  Dependencies to be installed: php5-dba php5-intl php5-mbstring php5-mysql php5-web php5
--->  Configuring php5-dba
Error: php5-dba has been made obsolete by the port php53-dba. Please install php53-dba instead.
Error: org.macports.configure for port php5-dba returned: obsolete port
Error: Failed to install php5-dba
Please see the log file for port php5-dba for details:
    /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_php_php5-dba/php5-dba/main.log
Error: The following dependencies were not installed: php5-dba php5-intl php5-mbstring php5-mysql php5-web php5
To report a bug, follow the instructions in the guide:
    http://guide.macports.org/#project.tickets
Error: Processing of port mediawiki failed

Installing php53-dba first does not help (and anyway the current version of php-dba is php56-dba).

[ryandesign (Ryan Carsten Schmidt)]

Yup, mediawiki should probably get variants for php53, php54, php55 and php56, like all the other ports that use php.

[cooljeanius (Eric Gallager)]

Cc Me!

[ryandesign (Ryan Carsten Schmidt)]

Waiting on php-web; #45008.

[greg.schohn@…]

Cc Me!

[ryandesign (Ryan Carsten Schmidt)]

Has duplicate #46358.

[micrology]

Is anything going to happen to deal with this issue?

[youvegotmoxie@…]

Cc Me!

[ryandesign (Ryan Carsten Schmidt)]

Has duplicate #51813.