<?php
// Global functions for translating domain-specific strings
function _pro($str) {
return dgettext("pro", $str);
}