Issue-4845: Merged in branch 'gsoc11_benj' for the enhanced mobile theme.

[atutor.git] / docs / mods / _standard / patcher / module.php

diff --git a/docs/mods/_standard/patcher/module.php b/docs/mods/_standard/patcher/module.php
index 7f9e41c..2def6fe 100644 (file)
--- a/docs/mods/_standard/patcher/module.php
+++ b/docs/mods/_standard/patcher/module.php
@@ -23,7 +23,7 @@ if (admin_authenticate(AT_ADMIN_PRIV_PATCHER, TRUE) || admin_authenticate(AT_ADM
        $this->_pages['mods/_standard/patcher/index_admin.php']['title_var'] = 'patcher';\r
        $this->_pages['mods/_standard/patcher/index_admin.php']['parent']    = AT_NAV_ADMIN;\r
        $this->_pages['mods/_standard/patcher/index_admin.php']['avail_in_mobile']   = false;\r
-       \r
+
        $this->_pages['mods/_standard/patcher/index_admin.php']['children'] = array('mods/_standard/patcher/myown_patches.php','mods/_standard/patcher/patch_create.php');\r
        $this->_pages['mods/_standard/patcher/myown_patches.php']['title_var'] = 'myown_patches';\r
        $this->_pages['mods/_standard/patcher/myown_patches.php']['parent']   = 'mods/_standard/patcher/index_admin.php';\r