diff --git a/docs b/docs index e8e22ca16..0fcff8e5a 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit e8e22ca165ac1bc8a7435d5d55b3e94b1883d9d8 +Subproject commit 0fcff8e5a31af300511949c4dbafc7be6c0d4dd7 diff --git a/makephar.php b/makephar.php index 2025fbc0c..125fd2249 100755 --- a/makephar.php +++ b/makephar.php @@ -25,7 +25,7 @@ $p->addFromString('.git/refs/heads/master', $argv[3]); $p->setStub('