MediaWiki  master
DateFormatterFactory.php
Go to the documentation of this file.
1 <?php
2 
5  private $instances;
6 
11  public function get( Language $lang ) {
12  $code = $lang->getCode();
13  if ( !isset( $this->instances[$code] ) ) {
14  $this->instances[$code] = new DateFormatter( $lang );
15  }
16  return $this->instances[$code];
17  }
18 }
if(!isset( $args[0])) $lang
DateFormatter [] $instances
Date formatter.