Last modified: 2007-06-05 00:52:34 UTC
In mediawiki-1.10.0 the option $wgDBport has no effect if $wgDBtype is "mysql".
Setting $wgDBport = "1234" (or any other value) has no offect on ability to
connect to database server.
$wgDBport was introduced for and used by Postgres since 1.7.
That's right, $wgDBport is a PostgreSQL setting. To select a different port when
establishing a MySQL connection, use $wgDBserver = "hostname:port";
I believed that it is not possible to specify port for MySQL. I was wrong. The
If $wgDBserver = "hostname:port"; can be used (what about IPv6 addresses?) for
MySQL then it may be possible for PostgreSQL code to use it as well. Thet would
deprecate $wgDBport and close this bug.
The distinction is now made quite clear in LocalSettings.php and this is well documented. There's no bug here.