Andreas Treubert berti92

## OCR.php
<?php

# - SNIP - INSERT HERE THE MYSQL CONFIGURATION FROM THE LocalSettings.php
$wgDBtype = "mysql";
$wgDBserver = "localhost";
$wgDBname = "mediawiki";
$wgDBuser = "root";
$wgDBpassword = "topsecret";
# - SNAP - INSERT HERE THE MYSQL CONFIGURATION FROM THE LocalSettings.php
	<?php

	# - SNIP - INSERT HERE THE MYSQL CONFIGURATION FROM THE LocalSettings.php
	$wgDBtype = "mysql";
	$wgDBserver = "localhost";
	$wgDBname = "mediawiki";
	$wgDBuser = "root";
	$wgDBpassword = "topsecret";
	# - SNAP - INSERT HERE THE MYSQL CONFIGURATION FROM THE LocalSettings.php