1<?php
2/**
3 * RTL StyleSheet creator
4 *
5 * Outputs a CSS with only RTL style, no matter what language is set in your configuration.
6 * This is useful if you have plugins that change $conf['lang'] and (thus the language direction) per page.
7 */
8
9if(!defined('DOKU_INC')) define('DOKU_INC',dirname(__FILE__).'/../../../');
10if(!defined('NOSESSION')) define('NOSESSION',true); // we do not use a session or authentication here (better caching)
11if(!defined('DOKU_DISABLE_GZIP_OUTPUT')) define('DOKU_DISABLE_GZIP_OUTPUT',1); // we gzip ourself here
12require_once(DOKU_INC.'inc/init.php');
13require_once(DOKU_INC.'inc/pageutils.php');
14require_once(DOKU_INC.'inc/io.php');
15require_once(DOKU_INC.'inc/confutils.php');
16
17
18// This will make css_out() include the rtl stuff.
19$lang['direction'] = 'rtl';
20
21// This will make css_out() use a separate cache.
22$_SERVER['SERVER_PORT'] = '00'.$_SERVER['SERVER_PORT'];
23
24// Now let css_out() work as usual.
25require_once(DOKU_INC.'lib/exe/css.php');
26
27//Setup VIM: ex: et ts=4 enc=utf-8 :
28