Set EOL for php 7.2

Author: dgodd

manifest.yml

@@ -55,6 +55,11 @@ dependency_deprecation_dates:
   name: php
   date: 2019-12-01
   link: http://php.net/supported-versions.php
+- match: 7.2.\d+
+  version_line: '7.2'
+  name: php
+  date: 2020-11-30
+  link: http://php.net/supported-versions.php
 - match: 1.10.\d+
   version_line: '1.10'
   name: nginx