Alexander A. Klimov a5924f2ca8 Don't rely on case sensitive usernames in navigation items stored in INI files ...

refs #11051

2016-02-10 16:22:51 +01:00

..

Hook

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Logger

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Modules

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

ApplicationBootstrap.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Benchmark.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

ClassLoader.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Cli.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Config.php

Don't rely on case sensitive usernames in preferences stored in INI files

2016-02-10 16:21:19 +01:00

EmbeddedWeb.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

functions.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Hook.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Icinga.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

LegacyWeb.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Logger.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Platform.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Version.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00

Web.php

Don't rely on case sensitive usernames in navigation items stored in INI files

2016-02-10 16:22:51 +01:00

webrouter.php

Change all license headers to only reflect a file's year of creation

2016-02-08 15:41:00 +01:00