Fatal error: Type of SmartyCompilerException::$line must be int (as in class Exception) in /home/vojmrypcwff2/migrated_webspace/www/lib/smarty/libs/Smarty.class.php on line 1530