Reedy has uploaded a new change for review.
https://gerrit.wikimedia.org/r/84725
Change subject: Kill labs docroot, long dead
......................................................................
Kill labs docroot, long dead
Change-Id: I69a35629481b5b9aea816fd25455525ac24b9343
---
D docroot/labs/error1.htm
D docroot/labs/images/wiki-beta-en.png
D docroot/labs/w
3 files changed, 0 insertions(+), 111 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config
refs/changes/25/84725/1
diff --git a/docroot/labs/error1.htm b/docroot/labs/error1.htm
deleted file mode 100644
index 84ecd62..0000000
--- a/docroot/labs/error1.htm
+++ /dev/null
@@ -1,110 +0,0 @@
-<html>
- <head>
- <meta http-equiv="Content-Type" content="text/html;
charset=UTF-8">
- <title>Wikimedia page not found: $</title>
- <link rel="shortcut icon" href="/favicon.ico">
- <style type="text/css">
- * {
- font-family: 'Gill Sans', 'Gill Sans MT',
sans-serif;
- }
- a:link, a:visited {
- color: #005b90;
- }
- a:hover, a:active {
- color: #900000;
- }
- body {
- background-image:
-url('//upload.wikimedia.org/wikipedia/commons/9/96/Errorbg.png');
- background-repeat: repeat-x;
- background-color: white;
- color: #484848;
- margin: 0;
- padding: 0;
- height: 100%;
- }
- h1 {
- color: black;
- margin: 0px;
- }
- h2 {
- color: #484848;
- padding: 0px;
- margin: 0px;
- }
- p {
- margin-top: 10px;
- margin-bottom: 0px;
- padding-bottom: 0.5em;
- }
- #center {
- position: absolute;
- top: 50%;
- width: 100%;
- height: 1px;
- overflow: visible;
- }
- #main {
- position: absolute;
- left: 50%;
- width: 720px;
- margin-left: -360px;
- height: 340px;
- top: -170px
- }
- #logo {
- display: block;
- float: left;
- background-image:
-url('https://labsconsole.wikimedia.org/w/images/c/cf/Labslogo_thumb.png');
- background-position: top center;
- background-repeat: no-repeat;
- height: 340px;
- width: 300px;
- }
- #divider {
- display: block;
- float: left;
- background-image:
-url('//upload.wikimedia.org/wikipedia/commons/9/97/Errorline.png');
- background-position: center center;
- background-repeat: no-repeat;
- height: 340px;
- width: 1px;
- margin-left: 10px;
- margin-right: 10px;
- }
- #message {
- padding-left: 10px;
- float: left;
- display: block;
- height: 340px;
- width: 370px;
- }
- </style>
- </head>
- <body>
-
- <div id="center">
- <div id="main">
- <div id="logo"></div>
- <div id="divider"></div>
- <div id="message">
- <h1>Error</h1>
- <h2>404 – File not found</h2>
- <p style="font-style: italic;">$</p>
-
- <p>We could not find the above page on
our servers.</p>
- <p style="font-weight: bold;">If you
believe this page should be there, visit us at #wikimedia-dev on freenode and
let us know that!
- </a></p>
- <p>Alternatively, you can visit the <a
href="/">Main Page</a> or
-</p>
-
- <p style="font-size: smaller;">A
project of the <a
-href="//wikimediafoundation.org/wiki/Home" title="Wikimedia
-Foundation">Wikimedia Foundation</a></p>
- </div>
- </div>
- </div>
- </body>
-</html>
diff --git a/docroot/labs/images/wiki-beta-en.png
b/docroot/labs/images/wiki-beta-en.png
deleted file mode 100644
index 6bd41f3..0000000
--- a/docroot/labs/images/wiki-beta-en.png
+++ /dev/null
Binary files differ
diff --git a/docroot/labs/w b/docroot/labs/w
deleted file mode 120000
index dfaf450..0000000
--- a/docroot/labs/w
+++ /dev/null
@@ -1 +0,0 @@
-/usr/local/apache/common/live-1.5
\ No newline at end of file
--
To view, visit https://gerrit.wikimedia.org/r/84725
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I69a35629481b5b9aea816fd25455525ac24b9343
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
