diff --git a/dev/gen_articles_fonctions.php b/dev/gen_articles_fonctions.php
deleted file mode 100644
index 6f22b0574dccf4c6a423864810c91882d6947464..0000000000000000000000000000000000000000
--- a/dev/gen_articles_fonctions.php
+++ /dev/null
@@ -1,5 +0,0 @@
-<?php
-
-function sc_extension($filename) {
-	return substr(strrchr($filename,'.'),1);
-}
diff --git a/dev/motconf_fonctions.php b/dev/motconf_fonctions.php
deleted file mode 100644
index dd15df7461afc64d0041388f52e6894c03b9eca1..0000000000000000000000000000000000000000
--- a/dev/motconf_fonctions.php
+++ /dev/null
@@ -1,2 +0,0 @@
-<?php
-include_spip('dev/gen_articles_fonctions');