3 * CacheTimer_viaMySQL MediaWiki extension
8 * @author John Derby Russell
9 * @link http://www.mediawiki.org/w/index.php/Extension:Auth_viaMySQL
12 // Extension credits that will show up on Special:Version
13 $wgExtensionCredits['other'][] = array(
14 'name' => 'MySQL Cache Timer',
16 'author' => 'John Derby Russell',
17 'url' => 'http://www.mediawiki.org/w/index.php/Extension:Auth_viaMySQL',
18 'description' => 'Tells Wiki when to regenerate client cache for users',
21 require_once(MW_INSTALL_PATH.'/MySQLActiveUser.php') ;
25 * The MySQL cache epoche timer is for when to rebuild the cache stored on the client side.
26 * This is ussually done at login.
30 function CacheTimer_viaMySQL( ) {
31 global $MySQLActiveUserData ;
32 $MySQLActiveUserData->distribute_cookie_data() ;
34 return $MySQLActiveUserData->active_user_login_time ;