wikimedia/mediawiki-extensions-DonationInterface

<?php

$specialPageAliases = [];

/** English */
$specialPageAliases['en'] = [
    'GravyGateway' => [ 'GravyGateway' ],
    'GravyGatewayResult' => [ 'GravyGatewayResult' ],
];