Index: wims-4.15b~dfsg1/dfsg-scripts/edit_area.sh
===================================================================
--- /dev/null
+++ wims-4.15b~dfsg1/dfsg-scripts/edit_area.sh
@@ -0,0 +1,57 @@
+#!/bin/sh
+# what-input.dfsg
+# This script can be used with two switches:
+#
+# --makesrc <path> this one tells a path, where something from a third party
+#                  can be installed
+# --install <path> that one make all actions necessay at install time when
+#                  the binary packages are built. path is usually DESTDIR
+
+githubRepo=https://github.com/cdolivet/EditArea
+tag=v0.8.2
+pkgdir=EditArea-0.8.2
+sha1sum=138df7ee51de635347966f5df40f114296ab898c
+
+if [ "$1" = "--makesrc" ]; then
+    pkgroot=$2
+    rm -rf ${pkgroot}/wims/public_html/scripts/js/edit_area/edit_area_full.js
+    mkdir -p ${pkgroot}/third-parties
+    cd ${pkgroot}/third-parties
+    wget ${githubRepo}/archive/${tag}.tar.gz
+    if echo "${sha1sum} ${tag}.tar.gz" | sha1sum --check --quiet; then
+	echo "Checked ${tag}.tar.gz OK"
+    else
+	echo "Mismatch in the checksum of ${tag}.tar.gz"
+	exit 1
+    fi
+    tar xzf ${tag}.tar.gz
+    rm -f ${tag}.tar.gz
+    # delete uglified files
+    wd=${pwd}
+    cd ${pkgdir}/edit_area
+    rm -f edit_area_full.*
+    # there are uglified files like extended_php_list.js there.
+    cd ${wd}
+    cd ${pkgdir}
+    rm -rf _devel
+fi
+
+if [ "$1" = "--install" ]; then
+    DESTDIR=$2
+    # cd to the directory unfolded from
+    #
+    dest=${DESTDIR}/var/lib/wims/public_html/scripts/js/edit_area
+    mkdir -p $(dirname ${dest})
+    rm -rf ${dest}
+    cp -a third-parties/${pkgdir}/edit_area ${dest}
+    find ${dest} -type f | xargs chmod 644
+    # compile the source files to edit_area_full.js
+    cd ${dest}
+    php edit_area_compressor.php > /dev/null
+    if [ -f edit_area_full.js ]; then
+	echo "compiled edit_area_full.js successfully"
+    else
+	echo "could not compile edit_area_full.js"
+	exit 1
+    fi
+fi
Index: wims-4.15b~dfsg1/dfsg-scripts/jquery.mb.extruder.sh
===================================================================
--- /dev/null
+++ wims-4.15b~dfsg1/dfsg-scripts/jquery.mb.extruder.sh
@@ -0,0 +1,60 @@
+#!/bin/sh
+# jquery.mb.extruder.dfsg
+# This script can be used with two switches:
+#
+# --makesrc <path> this one tells a path, where something from a third party
+#                  can be installed
+# --install <path> that one make all actions necessay at install time when
+#                  the binary packages are built. path is usually DESTDIR
+
+githubRepo=https://github.com/pupunzi/jquery.mb.extruder
+tag=2.6.0
+pkgdir=jquery.mb.extruder-2.6.0
+sha1sum=1408525305d52e4a339135074582e82725d9ad77
+
+if [ "$1" = "--makesrc" ]; then
+    pkgroot=$2
+    rm -rf ${pkgroot}/wims/public_html/scripts/js/bower_components/jquery.mb.extruder
+    mkdir -p ${pkgroot}/third-parties
+    cd ${pkgroot}/third-parties
+    wget ${githubRepo}/archive/${tag}.tar.gz
+    if echo "${sha1sum} ${tag}.tar.gz" | sha1sum --check --quiet; then
+	echo "Checked ${tag}.tar.gz OK"
+    else
+	echo "Mismatch in the checksum of ${tag}.tar.gz"
+	exit 1
+    fi
+    tar xzf ${tag}.tar.gz
+    rm -f ${tag}.tar.gz
+    # beautify files (which were not completely ugly, just space-compressed)
+    cd ${pkgdir}/inc
+    for f in *.js; do
+	uglifyjs -b -i 2 $f > tmp && mv tmp $f
+    done
+    mv jquery.hoverIntent.min.js jquery.hoverIntent.js
+fi
+
+if [ "$1" = "--install" ]; then
+    DESTDIR=$2
+    # cd to the directory unfolded from
+    #
+    dest=${DESTDIR}/var/lib/wims/public_html/scripts/js/bower_components/jquery.mb.extruder
+    mkdir -p $(dirname ${dest})
+    rm -rf ${dest}
+    echo "cp -a third-parties/${pkgdir} ${dest}"
+    cp -a third-parties/${pkgdir} ${dest}
+    rm -rf ${dest}/*.html ${dest}/licenses
+    find ${dest} -type f | xargs chmod 644
+    wd=$(pwd)
+    # a file jquery.hoverIntent.min.js is necessary, we shall replace it
+    # by a symlink to the beautified file jquery.hoverIntent.js
+    cd ${dest}/inc
+    rm -f jquery.hoverIntent.min.js
+    ln -s jquery.hoverIntent.min.js jquery.hoverIntent.js
+    cd ${wd}
+    cd ${dest}/parts
+    # remove privacy-breach-logos
+    for f in extruderLeft.html extruderLeft1.html; do
+	sed 's%.*<img src="http://.*%%' $f > $f.tmp && mv $f.tmp $f
+    done
+fi
Index: wims-4.15b~dfsg1/dfsg-scripts/what-input.sh
===================================================================
--- /dev/null
+++ wims-4.15b~dfsg1/dfsg-scripts/what-input.sh
@@ -0,0 +1,47 @@
+#!/bin/sh
+# what-input.dfsg
+# This script can be used with two switches:
+#
+# --makesrc <path> this one tells a path, where something from a third party
+#                  can be installed
+# --install <path> that one make all actions necessay at install time when
+#                  the binary packages are built. path is usually DESTDIR
+
+githubRepo=https://github.com/ten1seven/what-input
+tag=v3.0.0
+pkgdir=what-input-3.0.0
+sha1sum=84bb7ce41edd258dd48ab26ec796e781dec36cd2
+
+if [ "$1" = "--makesrc" ]; then
+    pkgroot=$2
+    rm -rf ${pkgroot}/wims/public_html/scripts/js/bower_components/what-input
+    mkdir -p ${pkgroot}/third-parties
+    cd ${pkgroot}/third-parties
+    wget ${githubRepo}/archive/${tag}.tar.gz
+    if echo "${sha1sum} ${tag}.tar.gz" | sha1sum --check --quiet; then
+	echo "Checked ${tag}.tar.gz OK"
+    else
+	echo "Mismatch in the checksum of ${tag}.tar.gz"
+	exit 1
+    fi
+    tar xzf ${tag}.tar.gz
+    rm -f ${tag}.tar.gz
+    # delete uglified files
+    cd ${pkgdir}/dist
+    rm -f *.min.*
+fi
+
+if [ "$1" = "--install" ]; then
+    DESTDIR=$2
+    # cd to the directory unfolded from
+    #
+    dest=${DESTDIR}/var/lib/wims/public_html/scripts/js/bower_components/what-input
+    mkdir -p $(dirname ${dest})
+    rm -rf ${dest}
+    cp -a third-parties/${pkgdir} ${dest}
+    rm -rf ${dest}/*.html ${dest}/LICENSE ${dest}/.gitignore
+    find ${dest} -type f | xargs chmod 644
+    # minify what-input.js => what-input.min.js
+    cd ${dest}/dist
+    uglifyjs what-input.js > what-input.min.js
+fi
Index: wims-4.15b~dfsg1/dfsg-scripts/jquery-ui-slider-pips.sh
===================================================================
--- /dev/null
+++ wims-4.15b~dfsg1/dfsg-scripts/jquery-ui-slider-pips.sh
@@ -0,0 +1,47 @@
+#!/bin/sh
+# jquery-ui-slider-pips.sh
+# This script can be used with two switches:
+#
+# --makesrc <path> this one tells a path, where something from a third party
+#                  can be installed
+# --install <path> that one make all actions necessay at install time when
+#                  the binary packages are built. path is usually DESTDIR
+
+githubRepo=https://github.com/simeydotme/jQuery-ui-Slider-Pips
+tag=v1.11.4
+pkgdir=jQuery-ui-Slider-Pips-1.11.4
+sha1sum=16473fb8cceb9443d6b5edd0ef4d866e07ebedf6
+
+if [ "$1" = "--makesrc" ]; then
+    pkgroot=$2
+    rm -rf ${pkgroot}/wims/public_html/scripts/js/bower_components/jquery-ui-slider-pips
+    mkdir -p ${pkgroot}/third-parties
+    cd ${pkgroot}/third-parties
+    wget ${githubRepo}/archive/${tag}.tar.gz
+    if echo "${sha1sum} ${tag}.tar.gz" | sha1sum --check --quiet; then
+	echo "Checked ${tag}.tar.gz OK"
+    else
+	echo "Mismatch in the checksum of ${tag}.tar.gz"
+	exit 1
+    fi
+    tar xzf ${tag}.tar.gz
+    rm -f ${tag}.tar.gz
+    # delete uglified files
+    cd ${pkgdir}/dist
+    rm -f *.min.*
+fi
+
+if [ "$1" = "--install" ]; then
+    DESTDIR=$2
+    # cd to the directory unfolded from
+    #
+    dest=${DESTDIR}/var/lib/wims/public_html/scripts/js/bower_components/jquery-ui-slider-pips
+    mkdir -p $(dirname ${dest})
+    rm -rf ${dest}
+    cp -a third-parties/${pkgdir} ${dest}
+    find ${dest} -type f | xargs chmod 644
+    # minify what-input.js => what-input.min.js
+    cd ${dest}/dist
+    uglifyjs jquery-ui-slider-pips.js  > jquery-ui-slider-pips.min.js
+    ln -s jquery-ui-slider-pips.min.css jquery-ui-slider-pips.css
+fi
Index: wims-4.15b~dfsg1/dfsg-scripts/geogebra.sh
===================================================================
--- /dev/null
+++ wims-4.15b~dfsg1/dfsg-scripts/geogebra.sh
@@ -0,0 +1,24 @@
+#!/bin/sh
+# geogebra.sh
+# This script can be used with two switches:
+#
+# --makesrc <path> this one tells a path, where something from a third party
+#                  can be installed
+# --install <path> that one make all actions necessay at install time when
+#                  the binary packages are built. path is usually DESTDIR
+
+githubRepo=https://github.com/ten1seven/what-input
+tag=v3.0.0
+pkgdir=what-input-3.0.0
+sha1sum=84bb7ce41edd258dd48ab26ec796e781dec36cd2
+
+if [ "$1" = "--makesrc" ]; then
+    pkgroot=$2
+    # beautify the file deployggb.js
+    cd ${pkgroot}/wims/public_html/scripts/js/geogebra
+    uglifyjs -b -i2 deployggb.js > tmp && mv tmp deployggb.js
+fi
+
+if [ "$1" = "--install" ]; then
+    DESTDIR=$2
+fi