Fixed type in writeLangIndex() in functions.php