wikimedia/mediawiki-core

<?php

// Phan stub for PHP 8.0's WeakMap class

final class WeakMap implements ArrayAccess, Countable, IteratorAggregate {

    public function count(): int {
    }

    public function getIterator(): Iterator {
    }

    public function offsetExists( object $object ): bool {
    }

    public function offsetGet( object $object ): mixed {
    }

    public function offsetSet( object $object, mixed $value ): void {
    }

    public function offsetUnset( object $object ): void {
    }
}