| Index: trunk/phase3/includes/installer/Installer.php |
| — | — | @@ -224,6 +224,10 @@ |
| 225 | 225 | $wgExtensionMessagesFiles['MediawikiInstaller'] = |
| 226 | 226 | './includes/installer/Installer.i18n.php'; |
| 227 | 227 | |
| | 228 | + global $wgUser; |
| | 229 | + $wgUser = User::newFromId( 0 ); |
| | 230 | + // Having a user with id = 0 safeguards us from DB access via User::loadOptions() |
| | 231 | + |
| 228 | 232 | // Set our custom <doclink> hook |
| 229 | 233 | global $wgHooks; |
| 230 | 234 | $wgHooks['ParserFirstCallInit'][] = array( $this, 'registerDocLink' ); |