batch image resizer from web UI

[vincent-peugnet]

In Media view, use edit menu to resize a selection images.

settings:

• max width
• max height
• replace or copy
• if copy, give a suffix

Using PHP image magick extension https://www.php.net/manual/en/imagick.adaptiveresizeimage.php

check if the extensions is installed, if not, remove the setting and let the user see a message explaining the situation.

[vincent-peugnet]

To start, I would just add a simple button that do the equivalent of:

convert image.jpg -resize 50% image.jpg