Skip to content

Update DecimalType.php #353

merged 1 commit into from Aug 3, 2013

3 participants

jbruni commented Aug 3, 2013

The "decimal" mapping type does not map to float/double anymore:

Thank you.

@jbruni jbruni Update DecimalType.php
The "decimal" mapping type does not map to float/double anymore:

Thank you.


thank you for creating this pull request. I have automatically opened an issue
on our Jira Bug Tracker for you. See the issue link:

We use Jira to track the state of pull requests and the versions they got
included in.

@jbruni jbruni referenced this pull request in doctrine/doctrine2 Aug 3, 2013

Corrected PHP type for "decimal" mapping type #744

@guilhermeblanco guilhermeblanco merged commit 2a7f59c into doctrine:master Aug 3, 2013

1 check passed

Details default The Travis CI build passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.