gplx/mediawiki/.phan/stubs/Socket.php

<?php

// Stub for PHP 8.1's Socket class
final class Socket {
}