diff options
| author | Greg Sabino Mullane <greg@users.mediawiki.org> | 2007-05-16 20:31:58 +0000 |
|---|---|---|
| committer | Greg Sabino Mullane <greg@users.mediawiki.org> | 2007-05-16 20:31:58 +0000 |
| commit | 5b79cfb9b192514586fbd20cf7dc8305faf93a2c (patch) | |
| tree | 6fb2e9760219d4d8eeacde652393f05381be62a3 /includes/DatabasePostgres.php | |
| parent | 315aa73dc85413a345b11b73788d0dd6b9db1acc (diff) | |
| download | mediawikicore-5b79cfb9b192514586fbd20cf7dc8305faf93a2c.tar.gz mediawikicore-5b79cfb9b192514586fbd20cf7dc8305faf93a2c.zip | |
More defined() that should be isset(), thanks to David Ford, david@blue-labs.org
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/22212
Diffstat (limited to 'includes/DatabasePostgres.php')
| -rw-r--r-- | includes/DatabasePostgres.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/DatabasePostgres.php b/includes/DatabasePostgres.php index 7397351accc4..8a40e66accf2 100644 --- a/includes/DatabasePostgres.php +++ b/includes/DatabasePostgres.php @@ -642,7 +642,7 @@ class DatabasePostgres extends Database { global $wgDBversion; $table = $this->tableName( $table ); - if (! defined( $wgDBversion ) ) { + if (! isset( $wgDBversion ) ) { $this->getServerVersion(); $wgDBversion = $this->numeric_version; } |