| Index: trunk/extensions/CleanChanges/CleanChanges.php |
| — | — | @@ -11,7 +11,7 @@ |
| 12 | 12 | /* Extension information */ |
| 13 | 13 | $wgExtensionCredits['other'][] = array( |
| 14 | 14 | 'name' => 'Clean Changes', |
| 15 | | - 'version' => '2008-04-05', |
| | 15 | + 'version' => '2008-04-06', |
| 16 | 16 | 'author' => 'Niklas Laxström', |
| 17 | 17 | 'descriptionmsg' => 'cleanchanges-desc', |
| 18 | 18 | 'url' => 'http://www.mediawiki.org/wiki/Extension:CleanChanges', |
| Index: trunk/extensions/CleanChanges/CleanChanges_body.php |
| — | — | @@ -377,7 +377,7 @@ |
| 378 | 378 | } |
| 379 | 379 | |
| 380 | 380 | protected function changeInfo( $diff, $hist, $size ) { |
| 381 | | - if ( $size ) { |
| | 381 | + if ( is_int($size) ) { |
| 382 | 382 | $size = $this->wrapCharacterDifference( $size ); |
| 383 | 383 | return "($diff; $hist; $size)"; |
| 384 | 384 | } else { |