diff --git a/package.xml b/package.xml
index 645b9a50c5f..047f2bf82d5 100644
--- a/package.xml
+++ b/package.xml
@@ -387,7 +387,6 @@
-
@@ -1020,6 +1019,7 @@
+
@@ -1034,6 +1034,7 @@
+
@@ -1338,6 +1339,7 @@
+
diff --git a/tools/show-big-files.php b/tools/show-big-files.php
new file mode 100755
index 00000000000..599fa382048
--- /dev/null
+++ b/tools/show-big-files.php
@@ -0,0 +1,12 @@
+#!/usr/bin/env php
+