Publish tooltip.php

wikimedia · Jul 9, 2024 · ea1c7f3 · ea1c7f3
1 parent 77fdf98
commit ea1c7f3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/publish.sh b/scripts/publish.sh
@@ -16,6 +16,7 @@ cp ./wikipediapreview.php $1/trunk/
 cp ./banner.php $1/trunk/
 cp ./intro.php $1/trunk/
 cp ./intro.css $1/trunk/
+cp ./tooltip.php $1/trunk/
 cp ./readme.txt $1/trunk/
 
 mkdir $1/trunk/build