Merge "Update referenced PHP version in 'normal' README."

diff --combined includes/normal/README
index 99e749b,d046123..993642e
--- 1/includes/normal/README
--- 2/includes/normal/README
+++ b/includes/normal/README
@@@ -49,11 -49,11 +49,11 @@@ grains of salt
  There's an experimental PHP extension module which wraps the ICU library's
  normalization functions. This is *MUCH* faster than doing this work in pure
  PHP code. This is at https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/extensions/normal.git;a=summary.
- It is known to work with PHP 4.3.8 and 5.0.2 on Linux/x86 but hasn't
- been thoroughly tested on other configurations.
+ It is used by the WMF, which currently runs PHP 5.3.10 on Linux.  It hasn't been
+ thoroughly tested on other configurations, but may work.
  
  If the php_normal.so module is loaded in php.ini, the normalization functions
  will automatically use it. If you can't (or don't want to) load it in php.ini,
 -you may be able to load it using the dl() function before include()ing or
 -require()ing UtfNormal.php, and it will be picked up.
 +you may be able to load it using the dl() function before the inclusion of
 +UtfNormal.php, and it will be picked up.