Change Details

[11:01:48] <wikibugs> Continuous-Integration-Infrastructure: doc.wikimedia.org should be running PHP 5.5+, not 5.3 -> demos etc. don't work - https://phabricator.wikimedia.org/T127504#2045488 (Jdforrester-WMF) Didn't say "NEW".

```lang=irc [11:01:48] <wikibugs> Continuous-Integration-Infrastructure: doc.wikimedia.org should be running PHP 5.5+, not 5.3 -> demos etc. don't work - https://phabricator.wikimedia.org/T127504#2045488 (Jdforrester-WMF) ``` Didn't say "NEW".

```lang=irc [11:01:48] <wikibugs> Continuous-Integration-Infrastructure: doc.wikimedia.org should be running PHP 5.5+, not 5.3 -> demos etc. don't work - https://phabricator.wikimedia.org/T127504#2045488 (Jdforrester-WMF) ``` Didn't say "NEW".