| Index: trunk/phase3/languages/Language.php |
| — | — | @@ -1881,7 +1881,6 @@ |
| 1882 | 1882 | * Get the formatted date for the given timestamp and formatted for |
| 1883 | 1883 | * the given user. |
| 1884 | 1884 | * |
| 1885 | | - * @param $type String: can be 'date', 'time' or 'both' |
| 1886 | 1885 | * @param $ts Mixed: the time format which needs to be turned into a |
| 1887 | 1886 | * date('YmdHis') format with wfTimestamp(TS_MW,$ts) |
| 1888 | 1887 | * @param $user User object used to get preferences for timezone and format |
| — | — | @@ -1904,7 +1903,6 @@ |
| 1905 | 1904 | * Get the formatted time for the given timestamp and formatted for |
| 1906 | 1905 | * the given user. |
| 1907 | 1906 | * |
| 1908 | | - * @param $type String: can be 'date', 'time' or 'both' |
| 1909 | 1907 | * @param $ts Mixed: the time format which needs to be turned into a |
| 1910 | 1908 | * date('YmdHis') format with wfTimestamp(TS_MW,$ts) |
| 1911 | 1909 | * @param $user User object used to get preferences for timezone and format |
| — | — | @@ -1927,7 +1925,6 @@ |
| 1928 | 1926 | * Get the formatted date and time for the given timestamp and formatted for |
| 1929 | 1927 | * the given user. |
| 1930 | 1928 | * |
| 1931 | | - * @param $type String: can be 'date', 'time' or 'both' |
| 1932 | 1929 | * @param $ts Mixed: the time format which needs to be turned into a |
| 1933 | 1930 | * date('YmdHis') format with wfTimestamp(TS_MW,$ts) |
| 1934 | 1931 | * @param $user User object used to get preferences for timezone and format |