diff options
author | foobar <sniper@php.net> | 2004-01-17 13:00:38 +0000 |
---|---|---|
committer | foobar <sniper@php.net> | 2004-01-17 13:00:38 +0000 |
commit | f4983c0d3f56c2074458e4840db36643b2fec59b (patch) | |
tree | 2dcf521f07114e3bb2952439fe28cdfa40d30677 /ext/mnogosearch/index.php | |
parent | b851f3712388de9f6c4addf2063dbc3c663a0b3b (diff) | |
download | php-git-f4983c0d3f56c2074458e4840db36643b2fec59b.tar.gz |
- Renamed all *php4* files to *php5*, changed all php4/PHP4 to php5/PHP5
Diffstat (limited to 'ext/mnogosearch/index.php')
-rw-r--r-- | ext/mnogosearch/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/mnogosearch/index.php b/ext/mnogosearch/index.php index 62f1d62fb7..40cde6264f 100644 --- a/ext/mnogosearch/index.php +++ b/ext/mnogosearch/index.php @@ -12,7 +12,7 @@ */ if (!extension_loaded('mnogosearch')) { - print "<b>This script requires PHP4.0.5+ with mnoGoSearch extension</b>"; + print "<b>This script requires PHP 4.0.5+ with mnoGoSearch extension</b>"; exit; } |