Skip to content
This repository was archived by the owner on Jun 2, 2021. It is now read-only.
This repository was archived by the owner on Jun 2, 2021. It is now read-only.

String indexing not converted #25

Open
@flip111

Description

@flip111

php

$name = "John";
if ($name[0] !== "J") {
    echo 'The name does not start with a capital J';
}

generated zep

if name[0] !== "J" {

fix

if substr(name, 0, 1) !== "J" {

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions