Skip to content

FIX #77047: fixes regex for "time" data type #3634

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed

FIX #77047: fixes regex for "time" data type #3634

wants to merge 1 commit into from

Conversation

ghost
Copy link

@ghost ghost commented Oct 22, 2018

@ghost
Copy link
Author

ghost commented Oct 22, 2018

I get a 500 error trying to attach this PR to ticket #77047 on bugs.php.net

@nikic
Copy link
Member

nikic commented Oct 22, 2018

Can you please also add a phpt test for this issue? Looking at git blame, it seems that this issue has been around since the code was introduced 17 years ago... wouldn't have happened if there were a test for it :)

@ghost
Copy link
Author

ghost commented Oct 22, 2018

Sure, I'll see what I can do.

@petk petk added the Bug label Oct 22, 2018
@cmb69
Copy link
Member

cmb69 commented Oct 22, 2018

I get a 500 error trying to attach this PR to ticket #77047 on bugs.php.net

See https://bugs.php.net/bug.php?id=76079.

@cmb69
Copy link
Member

cmb69 commented Oct 23, 2018

cc @yohgaki

@weltling
Copy link
Contributor

@andygajetzki any progress on producing test? Do you need help?

Thanks.

@php-pulls php-pulls closed this in 0434141 Nov 18, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants