Follow-up r72829: we also have the hasOption() method for that
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Sat, 11 Sep 2010 21:56:11 +0000 (21:56 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Sat, 11 Sep 2010 21:56:11 +0000 (21:56 +0000)
commit7932db7e38a6f77abe70498d0813f22badfeb01b
tree202948b1c8e58cc0f70d84f9b5d666b17551884e
parent52e275003abb979bd225faf1dbe16138ebc5f116
Follow-up r72829: we also have the hasOption() method for that
maintenance/update.php