wikimedia/mediawiki-extensions-Wikibase

<?php

namespace Wikibase\DataModel\Entity;

/**
 * @license GPL-2.0-or-later
 */
interface PropertyId extends EntityId {
}