diff --git a/repl.php b/run.php
similarity index 100%
rename from repl.php
rename to run.php