com web/php: Add developers profile to the about php.net list: include/header.inc styles/dynamic.php

Commit: 6c7167d9a20869137c14b17671b4929fae431e95 Author: Hannes Magnusson <bjori@php.net> Tue, 28 Dec 2010 10:29:06 +0000 Parents: bff88bce9db668b9cda46c9ecdfa4c60c1e3631c Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=6c7167d9a20869137c14b17671b4929fae431e95 Log: Add developers profile to the about php.net list Changed paths: M include/header.inc A styles/dynamic.php Diff: diff --git a/include/header.inc b/include/header.inc index 2f9a392..9bdf1f6 100644 --- a/include/header.inc +++ b/include/header.inc @@ -17,9 +17,10 @@ <link rel="stylesheet" type="text/css" href="/styles/structure.css<?php echo $v?>" media="screen" /> <link rel="stylesheet" type="text/css" href="/styles/doc.css<?php echo $v?>" media="screen" /> <link rel="stylesheet" type="text/css" href="/styles/theme.css<?php echo $v?>" media="screen" /> + <link rel="stylesheet" type="text/css" href="/styles/dynamic.php<?php echo $v?>" media="screen" /> <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.4.4/jquery.min.js"></script> -<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.7/jquery-ui.min.js"></script> + <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.7/jquery-ui.min.js"></script> <script type="text/javascript" src="/js/jquery.hoverIntent.minified.js"></script> <script type="text/javascript" src="/js/common.js<?php echo $v?>"></script> <base href="<?php echo $_SERVER["BASE_PAGE"] ?>" /> @@ -77,6 +78,7 @@ <dd><a href="/my.php">My PHP.net</a></dd> <dd><a href="#">Contribute to the website</a></dd> <dd><a href="/credits.php">Who's behind this?</a></dd> + <dd><a href="http://people.php.net/">Developers profiles</a></dd> <dd><a href="/contact.php">Contact us</a></dd> <dd><a href="/mirrors.php">Mirror sites</a></dd> </dl> diff --git a/styles/dynamic.php b/styles/dynamic.php new file mode 100644 index 0000000..329ba64 --- /dev/null +++ b/styles/dynamic.php @@ -0,0 +1,16 @@ +<?php /* vim: set filetype=css : */ +$str = date(DATE_RSS, strtotime("+1 hour")); +header("Expires: $str"); +header("Content-Type: text/css"); +?> +<?php if (rand(1, 9000) == 1337): ?> +#headhome { + background: url(/images/ele-running.gif) no-repeat -10px; + position: relative; + z-index: 1; +} +#headhome a { + background: none; +} +<?php endif ?> +