Comment on Da_Top_Menu_Links by Dediggefedde

Tanks for the report!
Apparently a long used way to check if settings are existing got obsolete, so new users would get an exception (insid the javascript-console), when they tried to use this script.
Please update to v0.4 and check again if your problem got resolved!