jenkins-bot has submitted this change and it was merged.
Change subject: Remove script unrelated to Translate extension
......................................................................
Remove script unrelated to Translate extension
Moving it to the translatewiki repo.
Change-Id: Ic969bd2b1edc1a5e917d7c43c98ac18691682b0c
---
D scripts/logfilter.php
1 file changed, 0 insertions(+), 51 deletions(-)
Approvals:
Nikerabbit: Looks good to me, approved
jenkins-bot: Verified
diff --git a/scripts/logfilter.php b/scripts/logfilter.php
deleted file mode 100644
index b59912b..0000000
--- a/scripts/logfilter.php
+++ /dev/null
@@ -1,51 +0,0 @@
-<?php
-/**
- * A script to forward error log messages with some rate limiting.
- *
- * @author Niklas Laxstrom
- *
- * @copyright Copyright © 2010, Niklas Laxström
- * @license GPL-2.0+
- * @file
- */
-
-if( isset( $_SERVER['argv'][1] ) ) {
- $file = $_SERVER['argv'][1];
-} else {
- exit( "OMG\n" );
-}
-
-if ( !is_readable( $file ) ) {
- exit( "OMG\n" );
-}
-
-$handle = fopen( $file, "rt" );
-fseek( $handle, 0, SEEK_END );
-while ( true ) {
- $count = 0;
- $line = false;
- while ( !feof( $handle ) ) {
- $count++;
- $input = fgets( $handle );
- if ( $input !== false ) {
- $line = $input;
- }
- }
-
- // I don't know why this is needed
- fseek( $handle, 0, SEEK_END );
-
- if ( $line !== false ) {
- $prefix = '';
- if ( $count > 2 ) {
- $count -= 2;
- $prefix = "($count lines skipped) ";
- }
- if ( mb_strlen( $line ) > 400 ) {
- $line = mb_substr( $line, 0, 400 ) . '...';
- }
- echo trim( $prefix . $line ) . "\n";
- }
-
- sleep( 30 );
-}
--
To view, visit https://gerrit.wikimedia.org/r/77646
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic969bd2b1edc1a5e917d7c43c98ac18691682b0c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Translate
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
