mapbender - Revision 10396: /tags/2.7.2/http/extensions/jquery-ui-1.7.2.custom/js
..
jquery-1.3.2.min.js
jquery-ui-1.7.2.custom.min.js
Powered by
Apache Subversion
version 1.10.4 (r1850624).