get_user_theme_path: fix typecasting

diff --git a/functions.php b/functions.php
index 1276146c36899defb46128c0fb586c9c6654a6a8..2156d8f9f69cc4f92021205a74635e7b25a92524 100644 (file)
--- a/functions.php
+++ b/functions.php
@@ -1994,7 +1994,7 @@
        function get_user_theme_path($link) {
 
                if (get_schema_version($link) >= 63) {
-                       $theme_id = get_pref($link, "_THEME_ID");
+                       $theme_id = (int) get_pref($link, "_THEME_ID");
                } else {
                        $theme_id = 1;
                }