Fixed crash when attempting to access a NULL PHPSourceFile object