// install.php: Better doc link.
Merge pull request #1879 from xBorderie/patch-6

// install.php: Better doc link.