attempting fixes for rtdev and php includes

something isn't working on rtdev regarding uwnetid detection; things
are becoming large enough to warrant php includes for consistency--when
a navigation setting change it should propagate, for example