| Index: trunk/extensions/Configure/CHANGELOG |
| — | — | @@ -1,6 +1,9 @@ |
| 2 | 2 | This file lists changes on this extension. |
| 3 | 3 | Localisation updates are done on betawiki and aren't listed here. |
| 4 | 4 | |
| | 5 | +0.5.1 - 7 July 2008 |
| | 6 | + * (bug 14744) Fixed default value of $wgExternalDiffEngine. |
| | 7 | + |
| 5 | 8 | 0.5.0 - 6 July 2008 |
| 6 | 9 | * Added support for extensions |
| 7 | 10 | * Rewrote JavaScript |
| Index: trunk/extensions/Configure/Configure.php |
| — | — | @@ -29,7 +29,7 @@ |
| 30 | 30 | 'url' => 'http://www.mediawiki.org/wiki/Extension:Configure', |
| 31 | 31 | 'description' => 'Allow authorised users to configure the wiki by a web-based interface', |
| 32 | 32 | 'descriptionmsg' => 'configure-desc', |
| 33 | | - 'version' => '0.5.0', |
| | 33 | + 'version' => '0.5.1', |
| 34 | 34 | ); |
| 35 | 35 | |
| 36 | 36 | ## Adding new rights... |
| Index: trunk/extensions/Configure/SpecialConfigure.php |
| — | — | @@ -225,6 +225,11 @@ |
| 226 | 226 | return null; |
| 227 | 227 | else |
| 228 | 228 | return $val; |
| | 229 | + case 'wgExternalDiffEngine': |
| | 230 | + if( empty( $val ) ) |
| | 231 | + return false; |
| | 232 | + else |
| | 233 | + return $val; |
| 229 | 234 | default: |
| 230 | 235 | return $val; |
| 231 | 236 | } |