意外的变量值

因此，这是一段代码：

if (mysql_num_rows($result) > 0)
{
    file_put_contents('output.txt','1111111111111111111111111111111111111111111',FILE_APPEND);
    $userInMysqlDatabase=true;
}           
else
{
    file_put_contents('output.txt','22222222222222222222222222222222222222222222222',FILE_APPEND);
    $userInMysqlDatabase=false;
}           

file_put_contents('output.txt','$userInMysqlDataBase: '.$userInMysqlDataBase,FILE_APPEND);

输出文件的内容为：

1111111111111111111111111111111111111111111$userInMysqlDataBase:

我认为这是不可能的，但事实并非如此。我勒个去？（if和file_put_contents之间没有代码）