ericgmbh on "[Plugin: PrestaShop Integration] How to patch Shop.php"

Hello,

Looks like a great plugin nut I struggle to make it work.
Could you please elaborate a bit more on patching the Shop.php file.
I get the conflict that I cannot run my WP site instead it shows my prestashop. Just tried to do this:

--- classes/shop/Shop.php.orig        2013-01-07 09:18:32.000000000 +0100
+++ classes/shop/Shop.php       2013-01-07 09:25:26.000000000 +0100
@@ -368,6 +368,9 @@
                        if (!Validate::isLoadedObject($default_shop))
                                throw new PrestaShopException('Shop not found');

+                       if (defined('PRESTASHOP_INTEGRATION_VERSION')) {
+                               $shop = $default_shop;
+                       } else {
                        $params = $_GET;
                        unset($params['id_shop']);
                        if (!Configuration::get('PS_REWRITING_SETTINGS'))
@@ -388,6 +391,7 @@
                        }
                        header('location: '.$url);
                        exit;
+                       }
                }
        }

but it doesn't work or I do it in a wrong way could you please tell me what the `--- classes/shop/Shop.php.orig 2013-01-07 09:18:32.000000000 +0100
+++ classes/shop/Shop.php 2013-01-07 09:25:26.000000000 +0100
@@ -368,6 +368,9 @@` means?

http://wordpress.org/extend/plugins/prestashop-integration/