wikimedia/mediawiki-core

<?php

// Stub for PHP 8.2's AllowDynamicProperties class
#[Attribute]
class AllowDynamicProperties {
}