MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / vendor / oojs / oojs-ui / demos / widgets.php

diff --git a/vendor/oojs/oojs-ui/demos/widgets.php b/vendor/oojs/oojs-ui/demos/widgets.php
new file mode 100644 (file)
index 0000000..6f95205
--- /dev/null
+++ b/vendor/oojs/oojs-ui/demos/widgets.php
@@ -0,0 +1,3 @@
+<?php
+// Redirect to keep old URLs working
+header( 'Location: demos.php?' . http_build_query( $_GET ) );