]> git.openstreetmap.org Git - nominatim.git/commit
adapt PR changes to use new variable naming convention
authorEric Stadtherr <estadtherr@caci.com>
Sat, 21 Jul 2018 23:09:59 +0000 (17:09 -0600)
committerEric Stadtherr <estadtherr@caci.com>
Sat, 21 Jul 2018 23:09:59 +0000 (17:09 -0600)
commitb8b87716db4858bbe35dbe5948d8b97b1c9e12d4
tree1a8da779a5774339082980d1088192835883a163
parent1108bf7d8679b85b7aa9f829019acf4dc8210dd3
adapt PR changes to use new variable naming convention
lib/cmd.php
utils/setup.php
utils/update.php