.. becomes -> in php file