diff --git a/mod/workshop/index.php b/mod/workshop/index.php
new file mode 100644
index 00000000000..e69de29bb2d
diff --git a/mod/workshop/lib.php b/mod/workshop/lib.php
new file mode 100644
index 00000000000..e69de29bb2d
diff --git a/mod/workshop/locallib.php b/mod/workshop/locallib.php
new file mode 100644
index 00000000000..e69de29bb2d
diff --git a/mod/workshop/version.php b/mod/workshop/version.php
new file mode 100644
index 00000000000..e69de29bb2d
diff --git a/mod/workshop/view.php b/mod/workshop/view.php
new file mode 100644
index 00000000000..e69de29bb2d