= 0) load_plugin_textdomain(ExecPhp_PLUGIN_ID, false, ExecPhp_HOMEDIR. ‚/languages‘); else load_plugin_textdomain(ExecPhp_PLUGIN_ID, ExecPhp_PLUGINDIR. ‚/‘. ExecPhp_HOMEDIR. ‚/languages‘); $doc_dir = ExecPhp_HOME_URL. ‚/docs/‘; $doc_filename = ExecPhp_HOME_DIR. ‚/docs/‘. __s(‚readme.html‘, ExecPhp_PLUGIN_ID); $content = file_get_contents($doc_filename); // strip HTML header $content = preg_replace