Closed jdlrobson closed 1 year ago
It looks like getOptions()
was introduced in MW 1.38, so at least some of that logic needs to be wrapped in a version check as well.
It looks like
getOptions()
was introduced in MW 1.38, so at least some of that logic needs to be wrapped in a version check as well.
Good point! I will take care of that
… with parameter
headelement
This is deprecated in MediaWiki 1.39.