michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-03-11 21:32:01 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Refresh left frame

Browse Source
This commit is contained in:
Jamie Cameron
2008-05-06 19:14:37 +00:00
parent 6322bd30c6
commit 0a070c0ca8
7 changed files with 21 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
webmin/delete_mod.cgi
View File

@@ -70,5 +70,10 @@ for($i=0; $i<@mdesc; $i++) {
print $mdesc[$i],"<p>\n";
}
print "</ul><p>\n";
if (defined(&theme_post_change_modules)) {
&theme_post_change_modules();
}
&ui_print_footer("", $text{'index_return'});