MediaWiki 1.30.2

[autoinstalls/mediawiki.git] / vendor / oojs / oojs-ui / php / themes / MediaWikiTheme.php

<?php

namespace OOUI;

class MediaWikiTheme extends WikimediaUITheme {
}