]> granicus.if.org Git - php/commitdiff
- Fix conflict
authorFelipe Pena <felipensp@gmail.com>
Sun, 17 Nov 2013 16:13:13 +0000 (14:13 -0200)
committerFelipe Pena <felipensp@gmail.com>
Sun, 17 Nov 2013 16:13:13 +0000 (14:13 -0200)
1  2 
phpdbg_prompt.c
test.php

diff --cc phpdbg_prompt.c
Simple merge
diff --cc test.php
index fab577b67e96904d8885aaae3efc0430bdb16032,d11310bb9a645632343efd4a2bce8e8774bb3753..dc1ecdb9558fc802dd3fca98b497f7473ada901b
+++ b/test.php
@@@ -1,5 -1,7 +1,8 @@@
  <?php
 -      include (sprintf("%s/web-bootstrap.php", dirname(__FILE__))); 
 +
+ if (isset($include))
++      include (sprintf("%s/web-bootstrap.php", dirname(__FILE__)));
  class phpdbg {
      public function isGreat($greeting = null) {
          printf(