## <summary>Mediawiki policy</summary>
#######################################
## <summary>
## Allow the specified domain to read
## mediawiki tmp files.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`mediawiki_read_tmp_files',`
gen_require(`
type httpd_mediawiki_tmp_t;
')
files_search_tmp($1)
read_files_pattern($1, httpd_mediawiki_tmp_t, httpd_mediawiki_tmp_t)
read_lnk_files_pattern($1, httpd_mediawiki_tmp_t, httpd_mediawiki_tmp_t)
')
#######################################
## <summary>
## Delete mediawiki tmp files.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`mediawiki_delete_tmp_files',`
gen_require(`
type httpd_mediawiki_tmp_t;
')
delete_files_pattern($1, httpd_mediawiki_tmp_t, httpd_mediawiki_tmp_t)
')