| Index: trunk/extensions/OpenID/OpenID.setup.php |
| — | — | @@ -27,7 +27,7 @@ |
| 28 | 28 | exit( 1 ); |
| 29 | 29 | } |
| 30 | 30 | |
| 31 | | -define( 'MEDIAWIKI_OPENID_VERSION', '0.922-beta' ); |
| | 31 | +define( 'MEDIAWIKI_OPENID_VERSION', '0.923-beta' ); |
| 32 | 32 | |
| 33 | 33 | # CONFIGURATION VARIABLES |
| 34 | 34 | |
| Index: trunk/extensions/OpenID/SpecialOpenIDDashboard.body.php |
| — | — | @@ -61,10 +61,10 @@ |
| 62 | 62 | global $wgOpenIDAllowServingOpenIDUserAccounts; |
| 63 | 63 | global $wgOpenIDShowProviderIcons; |
| 64 | 64 | |
| 65 | | - if ( !$wgUser->isAllowed( 'openid-dashboard-access' ) ) { |
| 66 | | - $wgOut->permissionRequired( 'openid' ); |
| 67 | | - return; |
| 68 | | - } |
| | 65 | + if ( !$this->userCanExecute($wgUser) ) { |
| | 66 | + $this->displayRestrictionError(); |
| | 67 | + return; |
| | 68 | + } |
| 69 | 69 | |
| 70 | 70 | $out = "<table class='openiddashboard wikitable'><tr><th>Parameter</th><th>Value</th></tr>"; |
| 71 | 71 | $out .= show( 'MEDIAWIKI_OPENID_VERSION', MEDIAWIKI_OPENID_VERSION ); |