| Index: trunk/extensions/Configure/CHANGELOG |
| — | — | @@ -5,6 +5,7 @@ |
| 6 | 6 | * Added support for OpenID extension. |
| 7 | 7 | * Updated GoogleAdSense extension. |
| 8 | 8 | * Added support for NewUserMessage extension. |
| | 9 | + * Added support for ReplaceText extension. |
| 9 | 10 | |
| 10 | 11 | 0.11.5 - 31 December 2008 |
| 11 | 12 | Fixed Special:Extensions: some settings using radio buttons had no radio |
| Index: trunk/extensions/Configure/Configure.settings-ext.php |
| — | — | @@ -932,6 +932,10 @@ |
| 933 | 933 | 'file' => 'SpecialRenameuser.php', |
| 934 | 934 | 'url' => 'http://www.mediawiki.org/wiki/Extension:Renameuser', |
| 935 | 935 | ), |
| | 936 | + array( |
| | 937 | + 'name' => 'ReplaceText', |
| | 938 | + 'url' => 'http://www.mediawiki.org/wiki/Extension:ReplaceText', |
| | 939 | + ), |
| 936 | 940 | |
| 937 | 941 | // S |
| 938 | 942 | array( |