Thread:Extension talk:Favorites/$wgUseIconFavorite and $wgFavoritesPersonalURL don't work!

1) $wgUseIconFavorite = true; and $wgFavoritesPersonalURL = true; dont't work at my wiki! I use Mediawiki 1.18.3 2) Shall I launch update.php after installation, if I have updated mysql manually? What do I have to do?