Here is a list of all file members with links to the files they belong to:

• $file : index.php , addPicosafe.php
• $lines : index.php
• do_alert() : addPicosafe.php , removePicosafe.php
• else : addPicosafe.php , removePicosafe.php
• exit : addPicosafe.php