...свод правил, обязательных к исполнению. А чем шариат не законодательство?

Тем, что в светских государствах он необязателен к исполнению. А обязателен только там, где используется в качестве основы законодательства в юридическом смысле этого слова.

По-моему, спор у нас исключительно о терминах. В разговорной речи слово "закон" (law) используется очень вольно, и означает что угодно, начиная от природной закономерности, и кончая подзаконным актом исполнительной власти, со всеми остановками в промежутке. Оттого, что в названии религиозного текста есть слово "закон", текст законодательством не становится.

Истцы на то и напирают, что шариат сам по себе - не закон какого-либо чужого государства, а религиозный текст. А выборочно запрещать религиозные тексты нельзя.