From 11f2cb2037f62e8c2237a424635043fee0b43898 Mon Sep 17 00:00:00 2001
From: Waldir Pimenta <waldyrious@gmail.com>
Date: Sat, 5 Nov 2016 18:55:29 +0000
Subject: [PATCH] php: remove redundant "CLI" from main description

---
 pages/common/php.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pages/common/php.md b/pages/common/php.md
index f9f77ef48..dbb16dadc 100644
--- a/pages/common/php.md
+++ b/pages/common/php.md
@@ -1,6 +1,6 @@
 # php
 
-> PHP Command Line Interface 'CLI'.
+> PHP command line interface.
 
 - Parse and execute a file: