header.php changes
Produced: 8/25/2007 12:10:38 PM
   
Mode:  Differences with Context  
   
Left file: D:\phpfootball20\header.php     Right file: D:\phpfootball20old\header.php  
96 <body> = 96 <body>
97 <div class="titleBar">   97 <div class="titleBar">
98 <div id="status">   98 <div id="status">
99     99  
100 <?php   100 <?php
101 $user=$_SESSION['user'];   101 $user=$_SESSION['user'];
102 $browser=$_SERVER['HTTP_USER_AGENT']; +-    
103 $browsertype="";      
104 if (strstr($browser,"Firefox"))      
105   $browsertype="FF";      
106 if($_SESSION['user'] != "") = 102 if($_SESSION['user'] != "")
107         {   103         {
108      $user=$_SESSION['user'];   104      $user=$_SESSION['user'];
109      $sql="select * from ".$football->prefix."users where user = '".$user."'";   105      $sql="select * from ".$football->prefix."users where user = '".$user."'";
110      $rs=$football->dbQuery($sql);   106      $rs=$football->dbQuery($sql);
111          $row = mysql_fetch_object($rs);   107          $row = mysql_fetch_object($rs);
 
128 // Check for idle users and delete them if no activity for 30 minutes = 124 // Check for idle users and delete them if no activity for 30 minutes
129 $football->WhoOnlineIdle();   125 $football->WhoOnlineIdle();
130 ?>   126 ?>
131 <? echo "Number of Users Online = "; echo $football->WhoIsOnline($user,$subtitle);?>   127 <? echo "Number of Users Online = "; echo $football->WhoIsOnline($user,$subtitle);?>
132 </div>   128 </div>
133 <div class="title"><? echo $football->sitetitle; ?></div>   129 <div class="title"><? echo $football->sitetitle; ?></div>
134 <? +-    
135 if ($browsertype != "FF") { ?>      
136 <DIV ID="TICKER" STYLE="display:none; border-top:1px solid #CCCCCC;  overflow:hidden; width:100%"  onmouseover="TICKER_PAUSED=true" onmouseout="TICKER_PAUSED=false" > = 130 <DIV ID="TICKER" STYLE="display:none; border-top:1px solid #CCCCCC;  overflow:hidden; width:100%"  onmouseover="TICKER_PAUSED=true" onmouseout="TICKER_PAUSED=false" >
137 <? $football->getTicker1(); ?>   131 <? $football->getTicker1(); ?>
138 </DIV>   132 </DIV>
139 <script type="text/javascript">   133 <script type="text/javascript">
140 TICKER_RIGHTTOLEFT = <? echo $football->ticker_righttoleft; ?>;   134 TICKER_RIGHTTOLEFT = <? echo $football->ticker_righttoleft; ?>;
141 TICKER_SPEED = <? echo $football->ticker_speed; ?>;   135 TICKER_SPEED = <? echo $football->ticker_speed; ?>;
142 TICKER_STYLE = "<?php echo 'font-family:' . $football->ticker_font . '; font-size:' . $football->ticker_fontsize . 'px; color:' . $football->ticker_fontcolor . ';'; ?>";   136 TICKER_STYLE = "<?php echo 'font-family:' . $football->ticker_font . '; font-size:' . $football->ticker_fontsize . 'px; color:' . $football->ticker_fontcolor . ';'; ?>";
143 TICKER_PAUSED = <? echo $football->ticker_paused; ?>;   137 TICKER_PAUSED = <? echo $football->ticker_paused; ?>;
144 </script>   138 </script>
145 <script type="text/javascript" src="scripts/webticker_lib.js"></script>   139 <script type="text/javascript" src="scripts/webticker_lib.js"></script>
146 </div>   140 </div>
147 <? } else { ?> <>    
148 <hr>      
149 <script language="JavaScript1.2">      
150 /*      
151 Cross browser Marquee script- © Dynamic Drive (www.dynamicdrive.com)      
152 For full source code, 100's more DHTML scripts, and Terms Of Use, visit http://www.dynamicdrive.com      
153 Credit MUST stay intact      
154 */      
155        
156 //Specify the marquee's width (in pixels)      
157 marqueewidth="1024px"      
158 //Specify the marquee's height      
159 marqueeheight="22px"      
160 //Specify the marquee's marquee speed (larger is faster 1-10)      
161 marqueespeed=3      
162 //configure background color:      
163 marqueebgcolor="#345C1E"      
164 //Pause marquee onMousever (0=no. 1=yes)?      
165 pauseit=0      
166        
167 //Specify the marquee's content (don't delete <nobr> tag)      
168 //Keep all content on ONE line, and backslash any single quotations (ie: that\'s great):      
169        
170 marqueecontent='<? echo $football->getTicker2(); ?>'      
171 </script>      
172 <script type="text/javascript" src="scripts/footballticker.js"></script>      
173 </div>      
174 <? } ?>      
175 <!-- Insert Menu  --> = 141 <!-- Insert Menu  -->
176 <?php   142 <?php
177 include 'menu.php';   143 include 'menu.php';
178 ?>   144 ?>
179 </div>   145 </div>
180     146