From ece5e5b3ccc319d1397ee2cc42237fb6f6e6d91a Mon Sep 17 00:00:00 2001
From: Thibaut Courouble <thibaut@me.com>
Date: Sun, 13 May 2018 20:59:36 -0400
Subject: [PATCH] Update PHP documentation (7.2.5)

---
 lib/docs/scrapers/php.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/docs/scrapers/php.rb b/lib/docs/scrapers/php.rb
index 1a9ea25a..74336296 100644
--- a/lib/docs/scrapers/php.rb
+++ b/lib/docs/scrapers/php.rb
@@ -4,7 +4,7 @@ module Docs
 
     self.name = 'PHP'
     self.type = 'php'
-    self.release = '7.2.2'
+    self.release = '7.2.5'
     self.base_url = 'https://secure.php.net/manual/en/'
     self.root_path = 'index.html'
     self.initial_paths = %w(
@@ -61,7 +61,7 @@ module Docs
       function.mssql-select-db.html
       pthreads.modifiers.html)
 
-    options[:skip_patterns] = [/mysqlnd/]
+    options[:skip_patterns] = [/mysqlnd/, /xdevapi/i]
 
     options[:attribution] = <<-HTML
       &copy; 1997&ndash;2018 The PHP Documentation Group<br>