Page MenuHomeDevCentral
Differential D1362

Upgrade devserver and shellserver roles to PHP 7.2
ClosedPublic
Actions

Authored by dereckson on Feb 28 2018, 16:46.
Tags
None
Referenced Files
F11103953: D1362.id3484.diff
Fri, Aug 15, 13:31
F11103532: D1362.id3485.diff
Fri, Aug 15, 12:27
F11103464: D1362.id3483.diff
Fri, Aug 15, 11:56
F11103312: D1362.id3486.diff
Fri, Aug 15, 11:39
Unknown Object (File)
Wed, Aug 13, 23:02
Unknown Object (File)
Tue, Aug 12, 11:59
Unknown Object (File)
Tue, Aug 12, 09:07
Unknown Object (File)
Tue, Aug 12, 05:49
View All Files
Subscribers
None

Details

Reviewers
dereckson
Commits
rOPS5753a7f6493f: Upgrade devserver and shellserver roles to PHP 7.2
Summary

PHP 7.2 reaches both FreeBSD and Debian Sid packages.

We can so migrate from PHP 7.1 to PHP 7.2 dev/shell servers.

Test Plan

dereckson

Diff Detail

Repository
rOPS Nasqueron Operations
Lint
Lint Passed
Unit
No Test Coverage
Branch
php72
Build Status
Buildable 2145
Build 2393: arc lint + arc unit

Event Timeline

dereckson requested review of this revision.Feb 28 2018, 16:46
dereckson created this revision.
dereckson updated this revision to Diff 3484.Feb 28 2018, 16:50

Doc

dereckson updated this revision to Diff 3485.Feb 28 2018, 16:52

Fix duplicate php7.0 typo

dereckson accepted this revision.Feb 28 2018, 16:52
This revision is now accepted and ready to land.Feb 28 2018, 16:52
Closed by commit rOPS5753a7f6493f: Upgrade devserver and shellserver roles to PHP 7.2 (authored by dereckson). · Explain WhyFeb 28 2018, 16:53
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
4 lines
roles/
shellserver/
userland-software/
6 lines

Diff 3483

View Options

map.jinja

Loading...
View Options

roles/shellserver/userland-software/base.sls

Loading...
Nasqueron DevCentral · If it had been much bigger the moon would have had a core of ice. · Powered by Phabricator