Source

Adminer CheckboxSelect / checkbox-select.php

Diff from to
The file 'checkbox-select.php' did not change between these commits.