fix JS type errors if sort_menu is disabled
authorWolfram Schneider <wosch@indexdata.dk>
Wed, 3 Jul 2013 14:21:56 +0000 (14:21 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Wed, 3 Jul 2013 14:21:56 +0000 (14:21 +0000)

No differences found