wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-09-23 18:30:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

MWException -> Exception

Browse source 
Change-Id: Icd77d1168c007b2d101bfd7e458a7bf1a794e2cb
This commit is contained in:
Ori Livneh 2015-01-09 19:02:19 -08:00
parent 63d2f0f1c4
commit 3f33253077
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
RelatedArticles.class.php
View file

@ -14,14 +14,14 @@ class RelatedArticles {
}
/**
* @throws MWException
* @throws Exception
* @return CustomData
*/
public function getCustomData() {
global $wgCustomData;
if ( !$wgCustomData instanceof CustomData ) {
throw new MWException( 'CustomData extension is not properly installed.' );
throw new Exception( 'CustomData extension is not properly installed.' );
}
return $wgCustomData;