debian/0001-system-libjs-jquery.patch
debian/0002-system-libjs-jquery-cookie.patch
debian/0003-system-libjs-jquery-ui.patch
debian/0004-system-libphp-simplepie.patch
debian/0005-system-php-constant-time.patch
debian/0006-system-php-geshi.patch
debian/0007-system-php-kissifrot-php-ixr.patch
debian/0008-system-php-phpseclib3.patch
debian/0009-data-directory.patch
debian/0010-disable-updatecheck.patch
debian/0011-tidy-footer.patch
debian/0012-tidy-init.patch
