projects / bizou.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 909133b)
Plugins can now use stylesheets
authorMarc MAURICE <dooblempub@positon.org>
Sun, 12 Dec 2010 22:46:57 +0000 (23:46 +0100)
committerMarc MAURICE <dooblempub@positon.org>
Sun, 12 Dec 2010 22:46:57 +0000 (23:46 +0100)
index.php patch | blob | history

diff --git a/index.php b/index.php
index b464e04..b2c2dde 100644 (file)
--- a/index.php
+++ b/index.php
@@ -189,6 +189,9 @@ a {
        left: 0;
 }
 </style>
+<?php foreach ($plugins as $p) if (is_file("plugins/$p/style.css")) { ?>
+       <link rel="stylesheet" type="text/css" href="<?php echo dirname($scriptUrlPath)."/plugins/$p/style.css" ?>" />
+<?php } ?>
 </head>
 <body>
 
Unnamed repository; edit this file 'description' to name the repository.