Require pthreads ^5.1

This version of pthreads has a substantially improved API, improved
performance, improved memory usage, and much less magical and broken
behaviour.

src/utils/MainLogger.php

@@ -194,6 +194,9 @@ class MainLogger extends \AttachableThreadedLogger implements \BufferedLogger{
 			Terminal::writeLine($message);
 			$this->logWriterThread->write($time->format("Y-m-d") . " " . TextFormat::clean($message) . PHP_EOL);
 
+			/**
+			 * @var \ThreadedLoggerAttachment $attachment
+			 */
 			foreach($this->attachments as $attachment){
 				$attachment->log($level, $message);
 			}