Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
services
t3o sites
typo3.org
typo3.org
Merge requests
!192
Merged
Created
Jun 19, 2018
by
Thomas Löffler
@tomalo.stuttgart
Owner
Options
Switch back to PHP 7.0
Overview
0
Commits
1
Pipelines
1
Changes
3
PHP 7.1 is not available on the servers
Waiting for a new server with PHP 7.2