Ticket #3976: functions_php.patch

functions.php

@@ -1443 +1443 @@
         }
 }
 
+// Support theme translation
+function __l($text) {
+   return apply_filters('translate', $text);
+}
+
+function __le($text) {
+   echo __l($text);
+}
+
 ?>
+ No newline at end of file