MediaWiki 1.30.2

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

diff --git a/vendor/oojs/oojs-ui/php/themes/MediaWikiTheme.php b/vendor/oojs/oojs-ui/php/themes/MediaWikiTheme.php
new file mode 100644 (file)
index 0000000..1c37218
--- /dev/null
+++ b/vendor/oojs/oojs-ui/php/themes/MediaWikiTheme.php
@@ -0,0 +1,6 @@
+<?php
+
+namespace OOUI;
+
+class MediaWikiTheme extends WikimediaUITheme {
+}