diff --git a/ext/handle_404/theme.php b/ext/handle_404/theme.php
deleted file mode 100644
index 6bbb72ed..00000000
--- a/ext/handle_404/theme.php
+++ /dev/null
@@ -1,7 +0,0 @@
-<?php
-/*
- * The 404-handler is very tightly tied to the default theme,
- * such that it would be easier to write a new handler for a
- * new theme than to alter this one...
- */
-?>
diff --git a/ext/rss_images/theme.php b/ext/rss_images/theme.php
deleted file mode 100644
index 665c9d3e..00000000
--- a/ext/rss_images/theme.php
+++ /dev/null
@@ -1,5 +0,0 @@
-<?php
-/*
- * The RSS plugin does no HTML output
- */
-?>