wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-30 11:06:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

MWException -> Exception

Browse source 
Change-Id: Ifcb11e0f7f11f41d657339bf2651ae481816115b
This commit is contained in:
Ori Livneh 2015-01-09 17:47:02 -08:00 committed by Krinkle
parent 5c731f287e
commit d6b0a4cdf4
3 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
CategoryTreeFunctions.php
View file

@ -242,7 +242,7 @@ class CategoryTree {
* @param $options
* @param $enc
* @return mixed
* @throws MWException
* @throws Exception
*/
static function encodeOptions( $options, $enc ) {
if ( $enc == 'mode' || $enc == '' ) {
@ -250,7 +250,7 @@ class CategoryTree {
} elseif ( $enc == 'json' ) {
$opt = FormatJson::encode( $options );
} else {
throw new MWException( 'Unknown encoding for CategoryTree options: ' . $enc );
throw new Exception( 'Unknown encoding for CategoryTree options: ' . $enc );
}
return $opt;
@ -260,7 +260,7 @@ class CategoryTree {
* @param $options
* @param $enc
* @return array|mixed
* @throws MWException
* @throws Exception
*/
static function decodeOptions( $options, $enc ) {
if ( $enc == 'mode' || $enc == '' ) {
@ -268,11 +268,11 @@ class CategoryTree {
} elseif ( $enc == 'json' ) {
$opt = FormatJson::decode( $options );
if ( !$opt ) {
throw new MWException( 'JSON cannot decode CategoryTree options' );
throw new Exception( 'JSON cannot decode CategoryTree options' );
}
$opt = get_object_vars( $opt );
} else {
throw new MWException( 'Unknown encoding for CategoryTree options: ' . $enc );
throw new Exception( 'Unknown encoding for CategoryTree options: ' . $enc );
}
return $opt;