Merge "Only use FastStringSearch on PHP <5.5"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 3 Sep 2015 23:01:59 +0000 (23:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 3 Sep 2015 23:01:59 +0000 (23:01 +0000)
commit9f8d1b96c115a0ff7ecf6e1bc2da0c6f7bb8cc00
tree8a9f2cb74471f5ec2ed04954b8e9055988d671f2
parentff0816cdbb3084da509fa8978debaf1132187d61
parenta37e25c3e50562b011857073f1bdf579dc739551
Merge "Only use FastStringSearch on PHP <5.5"