wikimedia/mediawiki-extensions-MobileFrontend

.filter( @value ) {
    -webkit-filter: @value;
    filter: @value;
}