I have changed the SPARK extension so that it also works for MW versions
below 17.0. I basically made the extension work without Resource Loader,
also.
See attached the patch. Jeroen, I now, the JavaScript handling is not nice
but I do not see another way at the moment; may I commit?
Best,
Benedikt
--
AIFB, Karlsruhe Institute of Technology (KIT)
Phone: +49 721 608-47946
Email: benedikt...@kit.edu
Web: http://www.aifb.kit.edu/web/Hauptseite/en
--
AIFB, Karlsruhe Institute of Technology (KIT)
Phone: +49 721 608-47946
Email: benedikt...@kit.edu
Web: http://www.aifb.kit.edu/web/Hauptseite/en