From 1c7eb7929e665f5d6f4d06dea359e560d2d37a59 Mon Sep 17 00:00:00 2001
From: Javier Eguiluz <javier.eguiluz@gmail.com>
Date: Sat, 6 Apr 2019 16:28:42 +0200
Subject: [PATCH] Minor improvement in the DomCrawler + HTML5 explanation

---
 components/dom_crawler.rst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/components/dom_crawler.rst b/components/dom_crawler.rst
index cc4491eb517..dffe4d63a5e 100644
--- a/components/dom_crawler.rst
+++ b/components/dom_crawler.rst
@@ -74,7 +74,8 @@ tree.
 
     If you need better support for HTML5 contents or want to get rid of the
     inconsistencies of PHP's DOM extension, install the `html5-php library`_.
-    The DomCrawler component uses it automatically when available.
+    The DomCrawler component will use it automatically when the content has
+    an HTML5 doctype.
 
     .. versionadded:: 4.3