Bump docker-registry.wikimedia.org/wikimedia/mediawiki-libs-shellbox:2022-12-05-111819-syntaxhighlight to 2023-02-24-002648-syntaxhighlight
Bump docker-registry.wikimedia.org/wikimedia/mediawiki-libs-shellbox:2022-12-05-111819-syntaxhighlight to 2023-02-24-002648-syntaxhighlight