Update Resources.php

[kizule]

Replaced all jquery.ui.* modules into the one, as all modules are merged into one.
Fixes: #619
Bug: T241335

[kghbln]

@kizule Thanks for the pull. Just one question: Which will be the new MW minimum requirement for this? I, e.g. do not expect MW 1.31 to be compatible which would be fine for this.

[JeroenDeDauw]

I think this needs either 34 or 35.

[kizule]

I think that 1.35 would be correct, as it is new LTS release.

[JeroenDeDauw]

My comment was about what this PR needs to work. Not which versions this extension should support. Though I do agree a sensible answer to the latter is 1.35.

[JeroenDeDauw]

@kghbln I think we should just drop support for anything below MW 1.35 and PHP 7.3. If people really care about earlier versions they can always spend the effort of keeping that compat. I'm not willing to do this effort and people submitting patches like this one by and large also are not.

[kizule]

My comment was about what this PR needs to work. Not which versions this extension should support. Though I do agree a sensible answer to the latter is 1.35.

Okay, thanks. Current usage of jquery.ui* is here.

[gesinn-it-gea]

To my opinion, we should not drop support for MW 1.31 (prev. LTS) as long as possible. A large number of wikis are in the field using 1.31. At least we should not drop support without branching, so that 3.x continues supporting 1.31 for a while and 4.x requires min 1.35.

[krabina]

I can confirm that this patch is working. As of September 30, MW 1.31 is EOL, so I guess it is ok to drop support for it.

[Seb35]

I also confirm this patch is working on MW 1.36. I find also that a 4.x branch should be created for MW ≥ 1.35, it will be easier to communicate MW 1.35+ ⇒ SRF 4.x, even if the branch 3.x becomes unmaintained.

[kghbln]

@JeroenDeDauw Ready to merge?