<?php

// Global functions for translating domain-specific strings

function _pro($str) {
    return dgettext("pro", $str);
}