diff options
| author | Michael Hamann <michael@content-space.de> | 2010-10-10 14:26:22 +0200 |
|---|---|---|
| committer | Michael Hamann <michael@content-space.de> | 2010-10-10 14:26:22 +0200 |
| commit | 762b4c44c691f69d521413d7016314e7f547c102 (patch) | |
| tree | 95ab294b1df2f8c7a5efb56762a0f284bec3754e /lib/plugins/revert/admin.php | |
| parent | eae17177de8f3f3580af5ea66d126aee0f23227f (diff) | |
| parent | 4ea48b361401e136dbfd3339af368ceeb5b27480 (diff) | |
| download | rpg-762b4c44c691f69d521413d7016314e7f547c102.tar.gz rpg-762b4c44c691f69d521413d7016314e7f547c102.tar.bz2 | |
Merge remote branch 'origin/master' into sitemap
Diffstat (limited to 'lib/plugins/revert/admin.php')
| -rw-r--r-- | lib/plugins/revert/admin.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/plugins/revert/admin.php b/lib/plugins/revert/admin.php index 1a327ca8a..8a2cd5553 100644 --- a/lib/plugins/revert/admin.php +++ b/lib/plugins/revert/admin.php @@ -126,6 +126,7 @@ class admin_plugin_revert extends DokuWiki_Admin_Plugin { */ function _list($filter){ global $conf; + global $lang; echo '<hr /><br />'; echo '<form action="" method="post"><div class="no">'; echo '<input type="hidden" name="filter" value="'.hsc($filter).'" />'; |