Index: trunk/extensions/Renameuser/SpecialRenameuser_body.php |
— | — | @@ -23,8 +23,8 @@ |
24 | 24 | return; |
25 | 25 | } |
26 | 26 | |
27 | | - if ( version_compare( $wgVersion, '1.5beta2', '<' ) ) { |
28 | | - $wgOut->versionRequired( '1.5beta2' ); |
| 27 | + if ( version_compare( $wgVersion, '1.7.0', '<' ) ) { |
| 28 | + $wgOut->versionRequired( '1.7.0' ); |
29 | 29 | return; |
30 | 30 | } |
31 | 31 | |
— | — | @@ -167,16 +167,17 @@ |
168 | 168 | // 1.5 schema |
169 | 169 | 'user' => 'user_name', |
170 | 170 | 'revision' => 'rev_user_text', |
171 | | - |
172 | | - // Badly indexed table, can be very slow, and who cares if it's wrong |
173 | | - /*'archive' => 'ar_user_text',*/ |
174 | | - |
175 | 171 | 'image' => 'img_user_text', |
176 | 172 | 'oldimage' => 'oi_user_text', |
177 | 173 | |
178 | 174 | // Very hot table, causes lag and deadlocks to update like this |
179 | 175 | /*'recentchanges' => 'rc_user_text'*/ |
180 | 176 | ); |
| 177 | + |
| 178 | + global $wgRenameUserQuick; |
| 179 | + if( !$wgRenameUserQuick ) |
| 180 | + $this->tables['archive'] = 'ar_user_text'; |
| 181 | + |
181 | 182 | } |
182 | 183 | |
183 | 184 | /** |
Index: trunk/extensions/Renameuser/SpecialRenameuser.php |
— | — | @@ -22,7 +22,7 @@ |
23 | 23 | 'url' => 'http://meta.wikimedia.org/wiki/Renameuser' |
24 | 24 | ); |
25 | 25 | |
26 | | -# Internationlization file |
| 26 | +# Internationalisation file |
27 | 27 | require_once( 'SpecialRenameuser.i18n.php' ); |
28 | 28 | |
29 | 29 | /** |
— | — | @@ -39,6 +39,13 @@ |
40 | 40 | $wgLogHeaders['renameuser'] = 'renameuserlogpagetext'; |
41 | 41 | $wgLogActions['renameuser/renameuser'] = 'renameuserlogentry'; |
42 | 42 | |
| 43 | +/** |
| 44 | + * If this is set to true, then the archive table (deleted revisions) will |
| 45 | + * not be updated. Defaults to the value of $wgMiserMode, since if that's on, |
| 46 | + * then it's probably desirable to have this switched on too. |
| 47 | + */ |
| 48 | +$wgRenameUserQuick = $wgMiserMode; |
| 49 | + |
43 | 50 | # Register the special page |
44 | 51 | if ( !function_exists( 'extAddSpecialPage' ) ) { |
45 | 52 | require( dirname(__FILE__) . '/../ExtensionFunctions.php' ); |