src/Pure/Tools/phabricator.scala
author wenzelm
Wed, 30 Oct 2019 15:50:57 +0100
changeset 71164 79736ffe77c3
child 71165 46847076477c
permissions -rw-r--r--
some support for Phabricator server;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
71164
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
     1
/*  Title:      Pure/Tools/phabricator.scala
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
     2
    Author:     Makarius
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
     3
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
     4
Support for Phabricator server. See also:
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
     5
  - https://www.phacility.com/phabricator
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
     6
  - https://secure.phabricator.com/book/phabricator
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
     7
*/
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
     8
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
     9
package isabelle
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    10
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    11
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    12
object Phabricator
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    13
{
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    14
  /** defaults **/
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    15
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    16
  val default_name = "vcs"
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    17
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    18
  def default_prefix(name: String): String = "phabricator_" + name
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    19
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    20
  def default_root(options: Options, name: String): Path =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    21
    Path.explode(options.string("phabricator_www_root")) + Path.basic(default_prefix(name))
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    22
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    23
  def default_repo(options: Options, name: String): Path =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    24
    default_root(options, name) + Path.basic("repo")
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    25
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    26
  val packages: List[String] =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    27
    Build_Docker.packages :::
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    28
    // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    29
    List("git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    30
      "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring")
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    31
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    32
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    33
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    34
  /** global configuration **/
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    35
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    36
  val global_config = Path.explode("/etc/isabelle-phabricator.conf")
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    37
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    38
  sealed case class Config(name: String, root: Path)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    39
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    40
  def read_config(): List[Config] =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    41
  {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    42
    if (global_config.is_file) {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    43
      for (entry <- Library.trim_split_lines(File.read(global_config)) if entry.nonEmpty)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    44
      yield {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    45
        space_explode(':', entry) match {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    46
          case List(name, root) => Config(name, Path.explode(root))
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    47
          case _ => error("Malformed config file " + global_config + "\nentry " + quote(entry))
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    48
        }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    49
      }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    50
    }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    51
    else Nil
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    52
  }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    53
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    54
  def write_config(configs: List[Config])
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    55
  {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    56
    File.write(global_config,
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    57
      configs.map(config => config.name + ":" + config.root.implode).mkString("", "\n", "\n"))
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    58
  }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    59
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    60
  def get_config(name: String): Config =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    61
    read_config().find(config => config.name == name) getOrElse
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    62
      error("Bad Isabelle/Phabricator installation " + quote(name))
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    63
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    64
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    65
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    66
  /** setup **/
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    67
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    68
  def phabricator_setup(
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    69
    options: Options,
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    70
    name: String = default_name,
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    71
    prefix: String = "",
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    72
    root: String = "",
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    73
    repo: String = "",
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    74
    progress: Progress = No_Progress)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    75
  {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    76
    /* system environment */
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    77
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    78
    Linux.check_system_root()
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    79
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    80
    Linux.package_update(progress = progress)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    81
    Linux.check_reboot_required()
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    82
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    83
    Linux.package_install(packages, progress = progress)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    84
    Linux.check_reboot_required()
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    85
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    86
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    87
    /* basic installation */
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    88
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    89
    val prefix_name = proper_string(prefix) getOrElse default_prefix(name)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    90
    val root_path = if (root.nonEmpty) Path.explode(root) else default_root(options, name)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    91
    val repo_path = if (repo.nonEmpty) Path.explode(repo) else default_repo(options, name)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    92
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    93
    val configs = read_config()
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    94
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    95
    for (config <- configs if config.name == name) {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    96
      error("Duplicate Phabricator installation " + quote(name) + " in " + config.root)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    97
    }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    98
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
    99
    if (!Isabelle_System.bash("mkdir -p " + File.bash_path(root_path)).ok) {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   100
      error("Failed to create root directory " + root_path)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   101
    }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   102
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   103
    progress.bash(cwd = root_path.file, echo = true,
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   104
      script = """
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   105
        set -e
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   106
        chown """ + Bash.string(options.string("phabricator_www_user")) + """ .
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   107
        chmod 755 .
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   108
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   109
        git clone https://github.com/phacility/libphutil.git
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   110
        git clone https://github.com/phacility/arcanist.git
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   111
        git clone https://github.com/phacility/phabricator.git
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   112
      """).check
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   113
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   114
    val config = Config(name, root_path)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   115
    write_config(configs ::: List(config))
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   116
  }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   117
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   118
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   119
  /* Isabelle tool wrapper */
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   120
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   121
  val isabelle_tool1 =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   122
    Isabelle_Tool("phabricator_setup", "setup Phabricator server on Ubuntu Linux", args =>
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   123
    {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   124
      var options = Options.init()
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   125
      var prefix = ""
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   126
      var root = ""
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   127
      var repo = ""
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   128
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   129
      val getopts =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   130
        Getopts("""
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   131
Usage: isabelle phabricator_setup [OPTIONS] [NAME]
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   132
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   133
  Options are:
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   134
    -R DIR       repository directory (default: """ + default_repo(options, "NAME") + """)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   135
    -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   136
    -p PREFIX    prefix for derived names (default: """ + default_prefix("NAME") + """)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   137
    -r DIR       installation root directory (default: """ + default_root(options, "NAME") + """)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   138
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   139
  Install Phabricator as Ubuntu LAMP application (Linux, Apache, MySQL, PHP).
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   140
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   141
  Slogan: "Discuss. Plan. Code. Review. Test.
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   142
  Every application your project needs, all in one tool."
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   143
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   144
  The installation NAME (default: """ + quote(default_name) + """) is mapped to
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   145
  a regular Unix user and used for public SSH access.
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   146
""",
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   147
          "R:" -> (arg => repo = arg),
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   148
          "o:" -> (arg => options = options + arg),
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   149
          "p:" -> (arg => prefix = arg),
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   150
          "r:" -> (arg => root = arg))
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   151
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   152
      val more_args = getopts(args)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   153
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   154
      val name =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   155
        more_args match {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   156
          case Nil => default_name
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   157
          case List(name) => name
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   158
          case _ => getopts.usage()
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   159
        }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   160
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   161
      val progress = new Console_Progress
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   162
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   163
      phabricator_setup(options, name, prefix = prefix, root = root, repo = repo,
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   164
        progress = progress)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   165
    })
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   166
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   167
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   168
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   169
  /** update **/
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   170
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   171
  def phabricator_update(name: String, progress: Progress = No_Progress)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   172
  {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   173
    Linux.check_system_root()
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   174
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   175
    ???
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   176
  }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   177
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   178
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   179
  /* Isabelle tool wrapper */
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   180
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   181
  val isabelle_tool2 =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   182
    Isabelle_Tool("phabricator_update", "update Phabricator server installation", args =>
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   183
    {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   184
      val getopts =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   185
        Getopts("""
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   186
Usage: isabelle phabricator_update [NAME]
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   187
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   188
  Update Phabricator installation, with lookup of NAME (default + """ + quote(default_name) + """)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   189
  in """ + global_config + "\n")
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   190
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   191
      val more_args = getopts(args)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   192
      val name =
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   193
        more_args match {
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   194
          case Nil => default_name
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   195
          case List(name) => name
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   196
          case _ => getopts.usage()
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   197
        }
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   198
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   199
      val progress = new Console_Progress
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   200
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   201
      phabricator_update(name, progress = progress)
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   202
    })
79736ffe77c3 some support for Phabricator server;
wenzelm
parents:
diff changeset
   203
}