* - true: use user's preference
* - false: use default preference
* - string: format to use
+ * @since 1.19
* @return String
*/
private function internalUserTimeAndDate( $type, $ts, User $user, array $options ) {
* - true: use user's preference
* - false: use default preference
* - string: format to use
+ * @since 1.19
* @return String
*/
public function userDate( $ts, User $user, array $options = array() ) {
* - true: use user's preference
* - false: use default preference
* - string: format to use
+ * @since 1.19
* @return String
*/
public function userTime( $ts, User $user, array $options = array() ) {
* - true: use user's preference
* - false: use default preference
* - string: format to use
+ * @since 1.19
* @return String
*/
public function userTimeAndDate( $ts, User $user, array $options = array() ) {