Skip to content
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

Make php7.3 compatible #11745

Merged
merged 2 commits into from
Oct 11, 2018
Merged

Make php7.3 compatible #11745

merged 2 commits into from
Oct 11, 2018

Conversation

rullzer
Copy link
Member

@rullzer rullzer commented Oct 10, 2018

No description provided.

@rullzer rullzer added this to the Nextcloud 15 milestone Oct 10, 2018
@rullzer
Copy link
Member Author

rullzer commented Oct 10, 2018

same issue as in #11746

Will fix once that is in

@MorrisJobke
Copy link
Member

Will fix once that is in

It is merged.

@rullzer
Copy link
Member Author

rullzer commented Oct 11, 2018

rebased

@rullzer rullzer added 3. to review Waiting for reviews and removed 2. developing Work in progress labels Oct 11, 2018
// Show warning if > PHP 7.2 is used as Nextcloud is not compatible with > PHP 7.2 for now
if (version_compare(PHP_VERSION, '7.3.0') !== -1) {
// Show warning if > PHP 7.3 is used as Nextcloud is not compatible with > PHP 7.3 for now
if (version_compare(PHP_VERSION, '7.4.0') !== -1) {
http_response_code(500);
echo 'This version of Nextcloud is not compatible with > PHP 7.2.<br/>';
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This also needs to be updated.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

done

Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
@MorrisJobke MorrisJobke merged commit 6e56a7b into master Oct 11, 2018
@MorrisJobke MorrisJobke deleted the ci/php73 branch October 11, 2018 10:23
@rullzer rullzer mentioned this pull request Oct 12, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
3. to review Waiting for reviews enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants