cat > /mnt/web223/b2/42/53228442/htdocs/wiki/de143/LocalSettings.php <<'PHP'