diff --git a/doc/download.php b/doc/download.php
index 07d4e26394..967bb33493 100755
--- a/doc/download.php
+++ b/doc/download.php
@@ -151,8 +151,8 @@ function show_418($xml=false) {
 }
 
 function show_stable($xml) {
-    show_425_public($xml);
-    show_419_public($xml);
+    //show_425_public($xml);
+    show_419($xml);
 }
 
 function show_dev($xml) {