From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- vendor/oojs/oojs-ui/php/Exception.php | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 vendor/oojs/oojs-ui/php/Exception.php (limited to 'vendor/oojs/oojs-ui/php/Exception.php') diff --git a/vendor/oojs/oojs-ui/php/Exception.php b/vendor/oojs/oojs-ui/php/Exception.php new file mode 100644 index 00000000..2f5ba1b4 --- /dev/null +++ b/vendor/oojs/oojs-ui/php/Exception.php @@ -0,0 +1,6 @@ +