MediaWiki
REL1_22
|
00001 <?php 00027 class ResourceLoaderUserTokensModule extends ResourceLoaderModule { 00028 00029 /* Protected Members */ 00030 00031 protected $origin = self::ORIGIN_CORE_INDIVIDUAL; 00032 00033 /* Methods */ 00034 00040 protected function contextUserTokens() { 00041 global $wgUser; 00042 00043 return array( 00044 'editToken' => $wgUser->getEditToken(), 00045 'patrolToken' => ApiQueryRecentChanges::getPatrolToken( null, null ), 00046 'watchToken' => ApiQueryInfo::getWatchToken( null, null ), 00047 ); 00048 } 00049 00054 public function getScript( ResourceLoaderContext $context ) { 00055 return Xml::encodeJsCall( 'mw.user.tokens.set', 00056 array( $this->contextUserTokens() ), 00057 ResourceLoader::inDebugMode() 00058 ); 00059 } 00060 00064 public function supportsURLLoading() { 00065 return false; 00066 } 00067 00071 public function getGroup() { 00072 return 'private'; 00073 } 00074 }