Description:
------------
In which version is date_format() available?

According to the EN version:

http://fr.php.net/manual/en/function.date-format.php

(PHP 5 >= 5.1.0)
date_format ? Returns date formatted according to given format

In the French documentation:

http://fr.php.net/manual/fr/function.date-format.php

(PHP 5 >= 5.2.0)
date_format ? Retourne la date mis en forme dans le format donn?

I believe the latter is correct - available as of 5.2.0.

Expected result:
----------------
Documentation should read

(PHP 5 >= 5.2.0)
date_format ? Returns date formatted according to given format

Actual result:
--------------
Documentation reads

(PHP 5 >= 5.1.0)
date_format ? Returns date formatted according to given format