Convert DeleteBatch to use extension registration
|MarcoAurelio||Jan 8 2018, 9:17 AM|
@MarcoAurelio You renamed the extension from "Delete Batch" to "DeleteBatch". This should be fixed since it makes tracking messy.  as opposed to 
@Kghbln The reason why a space in the extension name attribute is bad is because it requires the folder that the extension exists in to have a space too, which makes things more difficult on the command line, not to mention that it requires the git repository to have a space in its name as well. Not doing so would cause incorrect folder names when cloning. Additionally, the way wfLoadExtension() works is that it uses the given argument to look for an extension; Delete Batch would result in MediaWiki looking for a folder Delete Batch in the extension folder, which won't work, because the extension folder name is DeleteBatch. Using wfLoadExtension( 'DeleteBatch' ) works, but that is counter-intuïtive. Further, checking if an extension is loaded using the extension registry yields true for Delete Batch but false for DeleteBatch. It is the same problem with https://gerrit.wikimedia.org/r/#/c/402580/ too.