From e5d0ca5eafa3cfd36f330518bbfe47453f0e8c1c Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@wikimedia.org>
Date: Tue, 17 Dec 2013 14:33:36 +1100
Subject: [PATCH] eval.php: update intro comment

PHP has had an interactive mode since 5.1.0.

Change-Id: I5ecc35ca6c4911b4fbc8eb17866997d931c5a97d
---
 maintenance/eval.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/maintenance/eval.php b/maintenance/eval.php
index e03763fe62..f56e91f42f 100644
--- a/maintenance/eval.php
+++ b/maintenance/eval.php
@@ -1,6 +1,5 @@
 <?php
 /**
- * PHP lacks an interactive mode, but this can be very helpful when debugging.
  * This script lets a command-line user start up the wiki engine and then poke
  * about by issuing PHP commands directly.
  *
-- 
2.20.1