diff --git a/lib/ddllib.php b/lib/ddllib.php new file mode 100644 index 00000000000..ba9940aba5b --- /dev/null +++ b/lib/ddllib.php @@ -0,0 +1,41 @@ +