Details
-
Improvement
-
Status: Resolved
-
Low
-
Resolution: Duplicate
-
None
Description
I just fixed a small bug in a plugin, and pushed a new version to the plugins DB. Becuase it is January, I skillfully incremented the version number from 2020121600 to 2020010700. (Doh!)
I feel that there are two possible fixes for this issue:
- I could stop being an idiot.
- The plugins database validation code could be improved, to catch this error.
I currently feel that option 2 would be easier to implement. Please
Attachments
Issue Links
- duplicates
-
MDLSITE-4041 Plugins database should prevent you uploading a new version with a wrong version number.
-
- Resolved
-