File: /home/mmickelson/w2p.spidev.xyz/vendor/phar-io/manifest/src/xml/ExtensionElement.php
<?php
/*
 * This file is part of PharIo\Manifest.
 *
 * (c) Arne Blankerts <arne@blankerts.de>, Sebastian Heuer <sebastian@phpeople.de>, Sebastian Bergmann <sebastian@phpunit.de>
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */
namespace PharIo\Manifest;
class ExtensionElement extends ManifestElement {
    public function getFor() {
        return $this->getAttributeValue('for');
    }
    public function getCompatible() {
        return $this->getAttributeValue('compatible');
    }
}