در همان کدخودتان به جای تابع is_file از file_exists استفاده کنید .

در خصوص روشی که پیش بردید اگر $page توسط کاربر وارد شود باگ خطرناکی دارد .