Index: trunk/extensions/OpenID/README.OpenID-mediawiki-extension |
— | — | @@ -1,5 +1,5 @@ |
2 | 2 | MediaWiki OpenID extension README.OpenID-mediawiki-extension file |
3 | | -version 0.940-beta 20111011 |
| 3 | +version 0.941-beta 20111011 |
4 | 4 | |
5 | 5 | Homepage and manual http://www.mediawiki.org/wiki/Extension:OpenID |
6 | 6 | |
Index: trunk/extensions/OpenID/OpenID.hooks.php |
— | — | @@ -357,14 +357,10 @@ |
358 | 358 | $db = $updater->getDB(); |
359 | 359 | $info = $db->fieldInfo( 'user_openid', 'uoi_user' ); |
360 | 360 | if ( !$info->isMultipleKey() ) { |
361 | | - echo( "Making uoi_user field non UNIQUE...\n" ); |
362 | | - $updater->dropIndex( 'user_openid', 'uoi_user', |
363 | | - dirname( __FILE__ ) . '/patches/patch-drop_non_multiple_key_index_uoi_user.sql', true ); |
364 | | - $updater->addIndex( 'user_openid', 'user_openid_user', |
365 | | - dirname( __FILE__ ) . '/patches/patch-add_multiple_key_index_user_openid_user.sql', true ); |
366 | | - echo( "...done.\n" ); |
367 | | - } else { |
368 | | - echo( "...uoi_user field is already non UNIQUE.\n" ); |
| 361 | + $updater->addExtensionUpdate( array( 'dropIndex', 'user_openid', 'uoi_user', |
| 362 | + dirname( __FILE__ ) . '/patches/patch-drop_non_multiple_key_index_uoi_user.sql', true ) ); |
| 363 | + $updater->addExtensionUpdate( array( 'addIndex', 'user_openid', 'user_openid_user', |
| 364 | + dirname( __FILE__ ) . '/patches/patch-add_multiple_key_index_user_openid_user.sql', true ) ); |
369 | 365 | } |
370 | 366 | |
371 | 367 | # uoi_user_registration field was added in OpenID version 0.937 |
Index: trunk/extensions/OpenID/OpenID.php |
— | — | @@ -27,7 +27,7 @@ |
28 | 28 | exit( 1 ); |
29 | 29 | } |
30 | 30 | |
31 | | -define( 'MEDIAWIKI_OPENID_VERSION', '0.940-beta 20111011' ); |
| 31 | +define( 'MEDIAWIKI_OPENID_VERSION', '0.941-beta 20111011' ); |
32 | 32 | |
33 | 33 | $path = dirname( __FILE__ ); |
34 | 34 | set_include_path( implode( PATH_SEPARATOR, array( $path ) ) . PATH_SEPARATOR . get_include_path() ); |