fix for ./local/plugins/* translation files

translations for 3rd party plugins were not being detected

diff --git a/lib/plugin.php b/lib/plugin.php
index 42339137526a136db70c882bf73d7d953b1e813a..94bb1e124a16570702ad0fa2b6777c744e3a4979 100644 (file)
--- 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);