Issue-4845: Merged in branch 'gsoc11_benj' for the enhanced mobile theme.
[atutor.git] / docs / mods / _standard / patcher / module.php
index c51cab5..2def6fe 100644 (file)
@@ -23,15 +23,15 @@ 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
-\r
+       \r
        $this->_pages['mods/_standard/patcher/myown_patches.php']['children'] = array('mods/_standard/patcher/patch_create.php');\r
        $this->_pages['mods/_standard/patcher/patch_create.php']['title_var'] = 'create_patch';\r
        $this->_pages['mods/_standard/patcher/patch_create.php']['parent']   = 'mods/_standard/patcher/myown_patches.php';\r
-\r
+       \r
        $this->_pages['mods/_standard/patcher/patch_edit.php']['title_var'] = 'edit_patch';\r
        $this->_pages['mods/_standard/patcher/patch_edit.php']['parent']   = 'mods/_standard/patcher/myown_patches.php';\r
 \r