fixed small rounding error
authorGabriel Wicke <gwicke@users.mediawiki.org>
Tue, 3 Feb 2004 13:29:01 +0000 (13:29 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Tue, 3 Feb 2004 13:29:01 +0000 (13:29 +0000)
commit6a7c983b0bd62ac9478bac58b55154c78e4177c1
treea7db3d475d6fd49c48700aedff08e0df02558e54
parent76cbec491f06721270e90cce5557ee901491967d
fixed small rounding error
LocalSettings.sample
includes/DefaultSettings.php