From ca32f08966f1b51fcb19460f0996bb0c4048e6fe Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sat, 3 Dec 2011 13:29:22 +0100 Subject: Update to MediaWiki 1.18.0 * also update ArchLinux skin to chagnes in MonoBook * Use only css to hide our menu bar when printing --- includes/ProfilerSimpleUDP.php | 41 ----------------------------------------- 1 file changed, 41 deletions(-) delete mode 100644 includes/ProfilerSimpleUDP.php (limited to 'includes/ProfilerSimpleUDP.php') diff --git a/includes/ProfilerSimpleUDP.php b/includes/ProfilerSimpleUDP.php deleted file mode 100644 index 67ad97f6..00000000 --- a/includes/ProfilerSimpleUDP.php +++ /dev/null @@ -1,41 +0,0 @@ -mCollated['-total']['real'] < $this->mMinimumTime ) { - # Less than minimum, ignore - return; - } - - $sock = socket_create(AF_INET, SOCK_DGRAM, SOL_UDP); - $plength=0; - $packet=""; - foreach ($this->mCollated as $entry=>$pfdata) { - $pfline=sprintf ("%s %s %d %f %f %f %f %s\n", $this->getProfileID(),"-",$pfdata['count'], - $pfdata['cpu'],$pfdata['cpu_sq'],$pfdata['real'],$pfdata['real_sq'],$entry); - $length=strlen($pfline); - /* printf(""); */ - if ($length+$plength>1400) { - socket_sendto($sock,$packet,$plength,0,$wgUDPProfilerHost,$wgUDPProfilerPort); - $packet=""; - $plength=0; - } - $packet.=$pfline; - $plength+=$length; - } - socket_sendto($sock,$packet,$plength,0x100,$wgUDPProfilerHost,$wgUDPProfilerPort); - } -} -- cgit v1.2.3-54-g00ecf