mark extensions checked with PHP 7.1

2017-03-03 09:41:29 +01:00
parent cd7b98b5ae
commit 7b15775f15
2 changed files with 4 additions and 4 deletions
@@ -1 +1 @@
-5232b2e141c97cf54320e8f86cf0a0caf9a60a0e2ef33a0eb372cd8bfcc9b87c9395dba6bae3241bd703e826071ce7fc8b1eb1d7a185d2089663161fb9faa656
+41437f6180579dd1361f385e01f63acc211503915cfe516fee9d36884019e7473544acb85ce0e911c81cc4c56e8c67f0917eb30e83ac2f5e45b1978f0b075b3a