Update documentation.php