diff options
| author | Brion Vibber <brion@users.mediawiki.org> | 2007-03-09 15:26:41 +0000 |
|---|---|---|
| committer | Brion Vibber <brion@users.mediawiki.org> | 2007-03-09 15:26:41 +0000 |
| commit | 3caa998c8c9b7b80b43c60b0bdffb68fa1f05660 (patch) | |
| tree | c7d18177a93bce90807f2db2a41fda579c114b23 /includes/DatabasePostgres.php | |
| parent | 21f7b4bea58184e28e8fa1b408fa67b1debf1373 (diff) | |
| download | mediawikicore-3caa998c8c9b7b80b43c60b0bdffb68fa1f05660.tar.gz mediawikicore-3caa998c8c9b7b80b43c60b0bdffb68fa1f05660.zip | |
prettify:
* set_timeout() -> setTimeout()
* remove a couple obsolete references from dump code
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/20290
Diffstat (limited to 'includes/DatabasePostgres.php')
| -rw-r--r-- | includes/DatabasePostgres.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/includes/DatabasePostgres.php b/includes/DatabasePostgres.php index b55cbc1fc7a9..68f2e02c69d0 100644 --- a/includes/DatabasePostgres.php +++ b/includes/DatabasePostgres.php @@ -937,7 +937,8 @@ class DatabasePostgres extends Database { return array( $startOpts, $useIndex, $tailOpts ); } - function set_timeout($timeout) { + public function setTimeout( $timeout ) { + /// @fixme no-op } function ping() { |