From ef0385a25cb49482c8d2ccfed2e46b192eb716ca Mon Sep 17 00:00:00 2001
From: buttle <chris@gatopelao.org>
Date: Thu, 21 May 2015 09:35:52 +0200
Subject: [PATCH] fix for ./local/plugins/* translation files translations for
 3rd party plugins were not being detected

---
 lib/plugin.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/plugin.php b/lib/plugin.php
index 4233913752..94bb1e124a 100644
--- a/lib/plugin.php
+++ b/lib/plugin.php
@@ -144,6 +144,9 @@ class Plugin
                 // @fixme this will fail for things installed in local/plugins
                 // ... but then so will web links so far.
                 $path = INSTALLDIR . "/plugins/$name/locale";
+                if (!file_exists($path)) {
+                    $path = INSTALLDIR . "/local/plugins/$name/locale";
+                }
             }
             if (file_exists($path) && is_dir($path)) {
                 bindtextdomain($name, $path);