Don't use isset() to check for null
authorAlexandre Emsenhuber <mediawiki@emsenhuber.ch>
Sat, 10 May 2014 12:23:50 +0000 (14:23 +0200)
committerAlexandre Emsenhuber <mediawiki@emsenhuber.ch>
Sat, 10 May 2014 12:23:50 +0000 (14:23 +0200)
commit4c4d3051e70f221250fadbdb119264d9ed8dd635
tree978b22352f35c890b6177944604f7b7e5268af81
parent4af6f63efc9720b3af224308fa56590031443eb4
Don't use isset() to check for null

Fixes in maintenance/

Change-Id: I300a2a0cb240cb3f9c1d0c76d4575f93e9706b59
maintenance/dumpLinks.php
maintenance/fixDoubleRedirects.php
maintenance/generateSitemap.php