| Index: trunk/phase3/languages/Language.php |
| — | — | @@ -1864,6 +1864,7 @@ |
| 1865 | 1865 | * - true: use user's preference |
| 1866 | 1866 | * - false: use default preference |
| 1867 | 1867 | * - string: format to use |
| | 1868 | + * @since 1.19 |
| 1868 | 1869 | * @return String |
| 1869 | 1870 | */ |
| 1870 | 1871 | private function internalUserTimeAndDate( $type, $ts, User $user, array $options ) { |
| — | — | @@ -1902,6 +1903,7 @@ |
| 1903 | 1904 | * - true: use user's preference |
| 1904 | 1905 | * - false: use default preference |
| 1905 | 1906 | * - string: format to use |
| | 1907 | + * @since 1.19 |
| 1906 | 1908 | * @return String |
| 1907 | 1909 | */ |
| 1908 | 1910 | public function userDate( $ts, User $user, array $options = array() ) { |
| — | — | @@ -1924,6 +1926,7 @@ |
| 1925 | 1927 | * - true: use user's preference |
| 1926 | 1928 | * - false: use default preference |
| 1927 | 1929 | * - string: format to use |
| | 1930 | + * @since 1.19 |
| 1928 | 1931 | * @return String |
| 1929 | 1932 | */ |
| 1930 | 1933 | public function userTime( $ts, User $user, array $options = array() ) { |
| — | — | @@ -1946,6 +1949,7 @@ |
| 1947 | 1950 | * - true: use user's preference |
| 1948 | 1951 | * - false: use default preference |
| 1949 | 1952 | * - string: format to use |
| | 1953 | + * @since 1.19 |
| 1950 | 1954 | * @return String |
| 1951 | 1955 | */ |
| 1952 | 1956 | public function userTimeAndDate( $ts, User $user, array $options = array() ) { |