]> git.wh0rd.org - tt-rss.git/blobdiff - install/index.php
installer: use dijit styles
[tt-rss.git] / install / index.php
index 1a2ce9abae0236f70f3626e8e01e1f03cddb966c..e1858343660559b37f97e4b04625b1f71a2a5070 100644 (file)
@@ -3,11 +3,12 @@
        <title>Tiny Tiny RSS - Installer</title>
        <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
        <link rel="stylesheet" type="text/css" href="../css/utility.css">
+       <link rel="stylesheet" type="text/css" href="../css/dijit.css">
        <style type="text/css">
        textarea { font-size : 12px; }
        </style>
 </head>
-<body>
+<body class="claro">
 
 <?php
 
        }
 
        function print_error($msg) {
-               print "<div class='error'><span><img src='../images/alert.png'></span>
-                       <span>$msg</span></div>";
+               print "<div class='alert alert-error'>$msg</div>";
        }
 
        function print_notice($msg) {
-               print "<div class=\"notice\">
-                       <span><img src=\"../images/information.png\"></span><span>$msg</span></div>";
+               print "<div class=\"alert alert-info\">$msg</div>";
        }
 
        function db_connect($host, $user, $pass, $db, $type, $port = false) {
 
 <fieldset>
        <label>Username</label>
-       <input required name="DB_USER" size="20" value="<?php echo $DB_USER ?>"/>
+       <input class="input input-text" required name="DB_USER" size="20" value="<?php echo $DB_USER ?>"/>
 </fieldset>
 
 <fieldset>
        <label>Password</label>
-       <input required name="DB_PASS" size="20" type="password" value="<?php echo $DB_PASS ?>"/>
+       <input class="input input-text" name="DB_PASS" size="20" type="password" value="<?php echo $DB_PASS ?>"/>
 </fieldset>
 
 <fieldset>
        <label>Database name</label>
-       <input required name="DB_NAME" size="20" value="<?php echo $DB_NAME ?>"/>
+       <input class="input input-text" required name="DB_NAME" size="20" value="<?php echo $DB_NAME ?>"/>
 </fieldset>
 
 <fieldset>
        <label>Host name</label>
-       <input name="DB_HOST" size="20" value="<?php echo $DB_HOST ?>"/>
+       <input class="input input-text" name="DB_HOST" size="20" value="<?php echo $DB_HOST ?>"/>
        <span class="hint">If needed</span>
 </fieldset>
 
 <fieldset>
        <label>Port</label>
-       <input name="DB_PORT" type="number" size="20" value="<?php echo $DB_PORT ?>"/>
+       <input class="input input-text" name="DB_PORT" type="number" size="20" value="<?php echo $DB_PORT ?>"/>
        <span class="hint">Usually 3306 for MySQL or 5432 for PostgreSQL</span>
 </fieldset>
 
 
 <fieldset>
        <label>Tiny Tiny RSS URL</label>
-       <input type="url" name="SELF_URL_PATH" placeholder="<?php echo $SELF_URL_PATH; ?>" size="60" value="<?php echo $SELF_URL_PATH ?>"/>
+       <input class="input input-text" type="url" name="SELF_URL_PATH" placeholder="<?php echo $SELF_URL_PATH; ?>" size="60" value="<?php echo $SELF_URL_PATH ?>"/>
 </fieldset>