added tests for "phrasea_public_query" and "phrasea_highlight" in console/checkExtension
Fix #1571 : Cleanup user settings, fix user settings calls