[devdocsgjs/main: 36/64] Update PHP documentation (8.1.5)

[Andy Holmes <andyholmes src gnome org>]

commit 0a82d3997cfd3725db36af5ef85bbd965de4d562
Author: Simon Legner <Simon Legner gmail com>
Date:   Mon Apr 25 17:10:52 2022 +0200

    Update PHP documentation (8.1.5)

 lib/docs/scrapers/php.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/lib/docs/scrapers/php.rb b/lib/docs/scrapers/php.rb
index e07b1e44..6facd0c9 100644
--- a/lib/docs/scrapers/php.rb
+++ b/lib/docs/scrapers/php.rb
@@ -5,7 +5,7 @@ module Docs
 
     self.name = 'PHP'
     self.type = 'php'
-    self.release = '8.1'
+    self.release = '8.1.5'
     self.base_url = 'https://www.php.net/manual/en/'
     self.root_path = 'index.html'
     self.initial_paths = %w(