wikimedia/mediawiki-core

<?php

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