php - 予期しない変数値

Question

だから、ここにコードがあります：

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の間にコードはありません)